我使用 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我安装的所有库。