diff options
author | 2003-03-06 19:16:31 +0000 | |
---|---|---|
committer | 2003-03-06 19:16:31 +0000 | |
commit | ff05f4ed59b3b77e6d77ae9b0cd0785f46c971a6 (patch) | |
tree | 31a3aba7e99273beb11aa940171916be49ff1621 /ide/.coqiderc | |
parent | 59cfe64fc355ac910d3c795cec08ecc97c77589d (diff) |
coqide: fenetre de cmmandes . undo correct
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3747 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/.coqiderc')
-rw-r--r-- | ide/.coqiderc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/ide/.coqiderc b/ide/.coqiderc index 9e10620fb..65a6085d9 100644 --- a/ide/.coqiderc +++ b/ide/.coqiderc @@ -3,6 +3,7 @@ binding "text" { "move-cursor" (paragraphs,1,0) "cut-clipboard" () } + bind "<ctrl>x" { } } class "GtkTextView" binding "text" @@ -24,4 +25,5 @@ font_name = "Serif 10" class "GtkLabel" style "menu" gtk-key-theme-name = "Emacs" +gtk-can-change-accels = 1 |