customize.lua

   1 ----------------------------------------------------------------------
   2 -- My customization ipelet: customize.lua
   3 ----------------------------------------------------------------------
   4
   5 shortcuts.hide_axes = "Shift+F1"
   6 shortcuts.reset_direction = "Shift+F2"
   7 shortcuts.ipelet_5_goodies = "9"  -- Rotate 90 degrees
   8 shortcuts.ipelet_3_goodies = "Shift+M"  -- Mirror at x-axis
   9 shortcuts.ipelet_1_libCGAL_skeleton = "Shift+S"  -- Compute interior SK
  10
  11 prefs.max_zoom = 200
  12 prefs.external_editor = "gvim -f %s"
  13 -- autosave_filename = config.home .. "/%s.autosave"
  14 prefs.autosave_filename = "/tmp/%s.autosave"
  15 prefs.browser = "firefox %s"
  16
  17 -- coordinates format in GUI
  18 prefs.coordinates_format = "%f%s, %f%s"