diff options
| author | notin | 2006-11-07 14:56:53 +0000 |
|---|---|---|
| committer | notin | 2006-11-07 14:56:53 +0000 |
| commit | 1d93765dda11f0935c15cf918df89e50b9fc5145 (patch) | |
| tree | 8f8caecf885b10d96d1af2b5d798bc2c1c2b8694 | |
| parent | 964c0e96fb05010b265450d502d0926fba10362e (diff) | |
Changement des modifeurs par défaut dans CoqIDE (problème de compatibilité entre architecture)
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@9349 85f007b7-540e-0410-9357-904b9bb8a0f7
| -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 1dfa699808..a8be10de98 100644 --- a/ide/preferences.ml +++ b/ide/preferences.ml @@ -120,9 +120,9 @@ let (current:pref ref) = "auto with *"; "intuition" ]; modifier_for_navigation = [`CONTROL; `MOD1]; - modifier_for_templates = [`MOD4]; + modifier_for_templates = [`CONTROL; `SHIFT]; modifier_for_tactics = [`CONTROL; `MOD1]; - modifiers_valid = [`SHIFT; `CONTROL; `MOD1; `MOD4]; + modifiers_valid = [`SHIFT; `CONTROL; `MOD1]; cmd_browse = Options.browser_cmd_fmt; |