Coqide 8.5：Linuxで構文強調表示がありません

Question

Coqide 8.5 w/nixがインストールされました。残念ながら、テキストはすべてのパネルでblakcです。どのような種類の構文も強調表示されていません（そうでなければ、8.5も私がインストールした8.4よりも大幅に改善されているようです）。私はまた、次を得る：

(coqide:17272): GtkSourceView-WARNING **: Unknown parent scheme 'classic' in scheme 'coq_style' 

(coqide:17272): GtkSourceView-WARNING **: Failed to load '/nix/store/2sxcqfc4q3ls4g2q13n1zwfhnydvgq-coq-8.5pl1/share/coq/coq.lang': could not find the RelaxNG schema file 

cat ~/.nix-profile/share/coq/coq_style.xmlの出力を：最初の警告を与えられた

<?xml version="1.0" encoding="UTF-8"?> 
<style-scheme id="coq_style" _name="Coq highlighting based on Ssr manual" 
      parent-scheme="classic" version="1.0"> 
<author>The Coq Dev Team</author> 
<_description>Coq/Ssreflect color scheme for the vernacular language</_description> 

<style name="coq:comment" foreground="#brown"/> 
<style name="coq:coqdoc" foreground="#brown" italic="true"/> 
<style name="coq:vernac-keyword" bold="true" foreground="#dark violet"/> 
<style name="coq:gallina-keyword" bold="true" foreground="#orange red"/> 
<style name="coq:identifier" foreground="#navy"/> 
<style name="coq:constr-keyword" foreground="#dark green"/> 
<style name="coq:constr-sort" foreground="#008080"/> 

<style name="coq-ssreflect:comment" foreground="#b22222"/> 
<style name="coq-ssreflect:coqdoc" foreground="#b22222" italic="true"/> 
<style name="coq-ssreflect:vernac-keyword" bold="true" foreground="#a021f0"/> 
<style name="coq-ssreflect:gallina-keyword" bold="true" foreground="#a021f0"/> 
<style name="coq-ssreflect:identifier" bold="true" foreground="#0000ff"/> 
<style name="coq-ssreflect:constr-keyword" foreground="#228b22"/> 
<style name="coq-ssreflect:constr-sort" foreground="#228b22"/> 
<style name="coq-ssreflect:tactic" foreground="#101092"/> 
<style name="coq-ssreflect:endtactic" foreground="#ff3f3f"/> 
<style name="coq-ssreflect:iterator" foreground="#be6ad4"/> 
<style name="coq-ssreflect:string" foreground="#8b2252"/> 
</style-scheme> 

、私の代わりに"classic"の何か他のものがあるはずと思いますが、何

Answer 1

私はlibgtksourceview3.0-commonをインストールしていますCoqIDEはlibgtksourceview2.0-commonに依存します。後者をインストールすると

Answer 2

nix（coq-8.6パッケージ内）でインストールされたcoqideでこの問題が発生しました。ここで

には、いくつかの警告メッセージを回避するために、あなたのホームディレクトリにあるいくつかのファイルへのシンボリックリンクをインストールするスクリプトです：

## Find the nix-installed version of the GTK SourceView 2.0 library 
sourceview="$(nix-env -q coq --no-name --out-path | 
    xargs nix-store -q --references | 
    grep -- -gtksourceview-)" 

## Link files into the correct hierarchical folders in your home dir: 
share=share/gtksourceview-2.0 
for file in language-specs/language2.rng \ 
    language-specs/def.lang \ 
    styles/classic.xml 
do 
    target="$HOME/.local/$share/$file" 
    mkdir -vp "$(dirname "$target")" 
    ln -vfns "$sourceview/$share/$file" "$target" 
done 

これは、次のGtkSourceView-WARNINGの修正：

## fixed by language-specs/language2.rng 
Failed to load '.../share/coq/coq.lang': could not find the RelaxNG schema file 

## fixed by language-specs/def.lang 
in file .../share/coq/coq.lang: style 'def:comment' not defined 
Failed to load '.../share/coq/coq.lang': unable to resolve language 'def' 

## fixed by styles/classic.xml 
Unknown parent scheme 'classic' in scheme 'coq_style' 

を、私はそうしようとするでしょうこの回避策が必要ないように、ある時点でcoq派生を修正してください。私は、次のいずれかまたは両方の疑い実行する必要があります：（それは言語の定義が含まれているため）coqはGTK SourceViewの検索パスを設定する方法

• 修正
• gnome2.gtksourceviewは、その検索パスをエクスポートする方法を修正（S ）他のプログラムを使用する