diff options
| author |  monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-07 16:57:39 +0000 |
|---|---|---|
| committer | monate <monate@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2003-05-07 16:57:39 +0000 |
| commit | ee280ef0957206a0cae7d510806a8667f87a510c (patch) | |
| tree | dbcebf3d3d2016553cd5b13101e939f3f494ca58 /ide/.coqide-gtk2rc | |
| parent | dd53f04b22a4ba3b539fb25ba23d7757e5af2349 (diff) | |
coqide: toolbar/autosave
Hugo: Suppression du type dans les notations == et <> entre
Suppression du type dans les notations == et <> entre
volution second traducteur selon discussion TYPES
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@3993 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'ide/.coqide-gtk2rc')
| -rw-r--r-- | ide/.coqide-gtk2rc | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/ide/.coqide-gtk2rc b/ide/.coqide-gtk2rc index 11099742e..7a74a469d 100644 --- a/ide/.coqide-gtk2rc +++ b/ide/.coqide-gtk2rc @@ -6,9 +6,12 @@ gtk-key-theme-name = "Emacs" +#pixmap_path "/home/" + binding "text" { bind "<ctrl>k" { "set-anchor" () "move-cursor" (display-line-ends,1,0) + "move-cursor" (visual-positions,1,0) "cut-clipboard" () } bind "<ctrl>w" { "cut-clipboard" () } @@ -22,6 +25,7 @@ class "GtkTextView" binding "text" style "views" { base[NORMAL] = "CornSilk" +# bg_pixmap[NORMAL] = "background.jpg" } class "GtkTextView" style "views" @@ -36,3 +40,10 @@ font_name = "Monospace 10" } widget "*location*" style "location" + +gtk-can-change-accels = 1 + +style "men" { +# +} +widget "GtkMenu" style "men" |