Есть ли ярлыки для установки курсора в начало и конец файла в CoqIDE без его перезапуска и компиляции до конца файла (соответственно)? Обычно я просто хочу посмотреть на код в другом месте без изменения состояния компиляции (а обработка вызывает задержку). В настоящее время я использую xdotool для этого, что почти так же раздражает (так как вызывает короткую задержку плюс быструю прокрутку путем отправки нескольких PgUp или PgDown )