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