在我的 Jupyter 笔记本中,每次我评估页面底部的单元格时,笔记本都会跳起来,以便隐藏部分输出。
这是一个带有图片的示例。在这张图片中,我想评估最后一个单元格。 https://imgur.com/qzAB8Nw
评估后,屏幕跳起来,所以我看不到输出的最后一部分。 https://imgur.com/GPQjRBt
所以每次我必须手动向上滚动以返回视图。这里有没有我可以调整的设置来消除这个问题?
以下是来自 Jupyter 的“关于”页面的信息:
笔记本服务器的版本为 3.2.1-2d95975,运行于:Python 2.7.5 |Anaconda 1.6.2 (32-bit)| (默认,2013 年 7 月 1 日,12:41:55)[MSC v.1500 32 位(英特尔)]
当前内核信息:
Python 2.7.5 |Anaconda 1.6.2(32 位)| (默认,2013 年 7 月 1 日,12:41:55)[MSC v.1500 32 位(英特尔)] 输入“版权”、“信用”或“许可证”以获取更多信息。
IPython 3.2.1
我在Windows 8.1上有一般的4.2和emacs 24.2.1.我已经设置coq-compile-before-require并coq-load-path-include-current打开,但是当我尝试要求一个源文件位于同一文件夹中的库时,我仍然可以获得
coq-auto-compile: no source file for c\:/Users/Greg/Documents/cpdt/src/CpdtTactics.vo
在迷你缓冲区和
Error: Cannot find library CpdtTactics in loadpath
在消息缓冲区中.
编辑:确定结果我需要编译我正在使用的库才能工作.但是我仍然得到coq-auto-compile消息,这表明coq-auto-compile没有正确获取路径.