标签： linux coqide
在CoqIDE中是否存在将光标置于文件开头和结尾的快捷方式，而无需重新启动它并分别编译到文件结尾？通常，我只想查看其他地方的代码而无需更改编译状态（并且处理会导致延迟）。目前，我为此使用xdotool，这几乎很烦人（因为它会通过发送多个 PgUp 或 plus 快速滚动> PgDown ）
xdotool