【发布时间】：2016-09-21 13:16:40
【问题描述】：
运行时
frama-c-gui aluminium
在open suse 13.1 上给出警告信息：
[gui] 警告：未找到 Mime 类型“text/x-csrc”
这可能是什么原因和解决方案？
【问题讨论】：
标签： frama-c gtksourceview
【发布时间】：2016-09-21 13:16:40
【问题描述】：
frama-c 依靠 gtksourceview 库在 GUI 中提供语法高亮显示（规范化代码和原始源代码视图）。因此，它向 gtksourceview 询问对应于 text/x-csrc mime 类型的语言定义，对应于 C 源文件。如果 gtksourceview 未找到此类语言定义，则会发出警告。
您可能想检查您的 gtksourceview 安装是否确实包含正确的语言定义（在我的 Debian 上，它位于 /usr/share/gtksourceview-2.0/language-specs/ 下，如果没有，是否有一些软件包可以提供它们。
【讨论】：
-
gtksourceview-2.0 未正确安装，因为 /usr/share/gtksourceview-2.0/ 目录不存在。从 SUSE 存储库重新安装后，问题得到解决。谢谢