From: Stefan Huber <shuber@sthu.org>
Date: Thu, 4 Jun 2020 09:29:51 +0000 (+0200)
Subject: ipe: Update new menu shurtcuts
X-Git-Url: https://git.sthu.org/?p=ipestuff.git;a=commitdiff_plain;h=4b6b4d08fe9719474ad19fafcf4b37282a178897

ipe: Update new menu shurtcuts
---

diff --git a/customize.lua b/customize.lua
index a2fd42e..968f7dc 100644
--- a/customize.lua
+++ b/customize.lua
@@ -4,8 +4,9 @@
 
 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_1_libCGAL_skeleton = "Shift+S"  -- Compute interior SK
 
 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"
 
+-- coordinates format in GUI
+prefs.coordinates_format = "%f%s, %f%s"