diff options
| author |  pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-02 17:11:23 +0000 |
|---|---|---|
| committer | pboutill <pboutill@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2012-05-02 17:11:23 +0000 |
| commit | fed7d0f693128ae2a7c19a519882f12f138d88b4 (patch) | |
| tree | ba440463b0af41d67b72c68d59b519f8f7376ba6 /ide/preferences.ml | |
| parent | 04d66a258efb91e73c313b3315abd2810947028d (diff) | |
Coqide highligthing is back (done by gtksourceview).
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@15269 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/preferences.ml')
| -rw-r--r-- | ide/preferences.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/ide/preferences.ml b/ide/preferences.ml index 8606370b7..3600363d6 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -160,8 +160,8 @@ let (current:pref ref) = auto_save_delay = 10000; auto_save_name = "#","#"; - source_language = "vernac"; - source_style = "classic"; + source_language = "coq"; + source_style = "coq_style"; read_project = Ignore_args; project_file_name = "_CoqProject"; |