好了,这就是我要说的了。目前我不得不手动设置每个文件的高亮显示,这变得很烦人,特别是因为它有时会忘记,我必须重新设置它。
我在lubuntu机器上使用gedit 3.6.1,如果这很重要的话。
很抱歉,如果这是一个非常简单的问题,但我还不能自己解决这个问题。谢谢。
发布于 2013-06-15 04:10:08
多亏了Fredrik的评论,我找到了一个简单的解决方案,尽管它看起来比人们想要的更像是一个黑客。
去
/usr/share/gtksourceview-3.0/language-specs/python.lang并将第30行编辑为
<property name="globs">*.py;*.sage</property> 而不是
<property name="globs">*.py</property>https://stackoverflow.com/questions/17115873
复制相似问题