CoqIde中没有语法高亮显示

Question

我使用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等所有图书馆。