我使用OpenSuse Leap,并从源代码构建Coq-8.5。但是在coqide和偏好中没有语法着色我无法选择语言:
在控制台输出中我只有:
(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
等所有图书馆。