ipe: Update new menu shurtcuts
authorStefan Huber <shuber@sthu.org>
Thu, 4 Jun 2020 09:29:51 +0000 (11:29 +0200)
committerStefan Huber <shuber@sthu.org>
Thu, 4 Jun 2020 09:30:23 +0000 (11:30 +0200)
customize.lua

index a2fd42e8a3e77966a46b06667242a1f2b073f467..968f7dc763d9a6db8a0f11eb6801af44ea8bd0de 100644 (file)
@@ -4,8 +4,9 @@
 
 shortcuts.hide_axes = "Shift+F1"
 shortcuts.reset_direction = "Shift+F2"
 
 shortcuts.hide_axes = "Shift+F1"
 shortcuts.reset_direction = "Shift+F2"
-shortcuts.ipelet_4_goodies = "9"  -- Rotate 90 degrees
+shortcuts.ipelet_5_goodies = "9"  -- Rotate 90 degrees
 shortcuts.ipelet_3_goodies = "Shift+M"  -- Mirror at x-axis
 shortcuts.ipelet_3_goodies = "Shift+M"  -- Mirror at x-axis
+shortcuts.ipelet_1_libCGAL_skeleton = "Shift+S"  -- Compute interior SK
 
 prefs.max_zoom = 200
 prefs.external_editor = "gvim -f %s"
 
 prefs.max_zoom = 200
 prefs.external_editor = "gvim -f %s"
@@ -13,3 +14,5 @@ prefs.external_editor = "gvim -f %s"
 prefs.autosave_filename = "/tmp/%s.autosave"
 prefs.browser = "firefox %s"
 
 prefs.autosave_filename = "/tmp/%s.autosave"
 prefs.browser = "firefox %s"
 
+-- coordinates format in GUI
+prefs.coordinates_format = "%f%s, %f%s"