From 4b6b4d08fe9719474ad19fafcf4b37282a178897 Mon Sep 17 00:00:00 2001
From: Stefan Huber <shuber@sthu.org>
Date: Thu, 4 Jun 2020 11:29:51 +0200
Subject: [PATCH] ipe: Update new menu shurtcuts

---
 customize.lua | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

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"
-- 
2.39.5