1

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

4

0 回答 0