CoqIde中没有语法高亮显示

时间:2016-10-24 21:51:17

标签: syntax-highlighting coq coqide

我使用OpenSuse Leap,并从源代码构建Coq-8.5。但是在coqide和偏好中没有语法着色我无法选择语言: preferences

在控制台输出中我只有:

(coqide:30790): GLib-GObject-WARNING **: The property GtkWindow:allow-grow is deprecated and shouldn't be used anymore. It will be removed in a future version.

(coqide:30790): GLib-GObject-WARNING **: The property GtkWindow:allow-shrink is deprecated and shouldn't be used anymore. It will be removed in a future version.
Theme directory actions/48 of theme breeze has no size field

Theme directory categories/16 of theme breeze has no size field

Theme directory categories/22 of theme breeze has no size field

Theme directory categories/48 of theme breeze has no size field

Theme directory devices/48 of theme breeze has no size field

Theme directory  of theme oxygen has no size field

我已安装libgtksourceview等所有图书馆。

0 个答案:

没有答案