[Unison-hackers] [unison-svn] r542 - trunk/src

[bcpierce at seas.upenn.edu]

Author: bcpierce
Date: 2015-06-08 10:53:28 -0400 (Mon, 08 Jun 2015)
New Revision: 542

Modified:
   trunk/src/uigtk2.ml
Log:
Make - a synonym for / in GTK2 UI

Modified: trunk/src/uigtk2.ml
===================================================================
--- trunk/src/uigtk2.ml	2015-02-13 15:35:44 UTC (rev 541)
+++ trunk/src/uigtk2.ml	2015-06-08 14:53:28 UTC (rev 542)
@@ -4007,10 +4007,13 @@
     right#add_accelerator ~group:accel_group ~modi:[`SHIFT] GdkKeysyms._less;
     right#add_accelerator ~group:accel_group ~modi:[`SHIFT] GdkKeysyms._comma;
 
-    grAdd grAction
-      (actionMenu#add_image_item ~key:GdkKeysyms._slash ~callback:questionAction
-        ~image:((GMisc.image ~stock:`NO ~icon_size:`MENU ())#coerce)
-        "Do _Not Propagate Changes");
+    let skip = 
+      grAdd grAction
+        (actionMenu#add_image_item ~key:GdkKeysyms._slash ~callback:questionAction
+          ~image:((GMisc.image ~stock:`NO ~icon_size:`MENU ())#coerce)
+          "Do _Not Propagate Changes") in
+    grAdd grAction skip;
+    skip#add_accelerator ~group:accel_group ~modi:[`SHIFT] GdkKeysyms._minus;
 
     let merge =
       actionMenu#add_image_item ~key:GdkKeysyms._m ~callback:mergeAction