frama-c gui Mime-Typ 'text/x-CSRC' Warnung Während nicht

Question

gefunden

läuft

frama-c-gui aluminium 

auf open suse 13.1 gibt eine Warnmeldung:

[gui] Warnung: Mime-Type text‘/x-csrc 'nicht gefunden

Was könnte die Ursache und die Lösung dafür sein?

Answer 1

frama-c verlässt sich auf die Bibliothek gtksourceview, um Syntax-Highlighting in der GUI bereitzustellen (sowohl für den normalisierten Code als auch für die ursprüngliche Quellansicht). Es fragt daher gtksourceview nach der Sprachdefinition, die dem Mime-Typ text/x-csrc entspricht, der C-Quelldateien entspricht. Die Warnung wird ausgegeben, wenn gtksourceview eine solche Sprachdefinition nicht findet.

Vielleicht möchten Sie prüfen, ob in der Tat die Installation von gtksourceview richtigen Sprachdefinitionen (auf meinem Debian enthält, wird diese unter /usr/share/gtksourceview-2.0/language-specs/ befindet, und wenn nicht, ob es irgendeine Paket ist, dass sie bieten könnte.