projects
/
ipestuff.git
/ commitdiff
summary
|
shortlog
|
log
|
commit
| commitdiff |
tree
raw
|
patch
|
inline
| side by side (parent:
c3479c6
)
ipe: Update new menu shurtcuts
author
Stefan Huber <shuber@sthu.org>
Thu, 4 Jun 2020 09:29:51 +0000
(11:29 +0200)
committer
Stefan Huber <shuber@sthu.org>
Thu, 4 Jun 2020 09:30:23 +0000
(11:30 +0200)
customize.lua
patch
|
blob
|
history
diff --git
a/customize.lua
b/customize.lua
index a2fd42e8a3e77966a46b06667242a1f2b073f467..968f7dc763d9a6db8a0f11eb6801af44ea8bd0de 100644
(file)
--- a/
customize.lua
+++ b/
customize.lua
@@
-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"