Ticket #28428: patch-ipe-lua-prefs.lua.diff
File patch-ipe-lua-prefs.lua.diff, 1.0 KB (added by m.thon@…, 14 years ago) |
---|
-
ipe/lua/prefs.lua
old new 52 52 -- DOS window will pop up when calling the editor 53 53 if os.getenv("EDITOR") then 54 54 prefs.external_editor = os.getenv("EDITOR") .. " %s" 55 elseif config.platform ~= "win" then56 prefs.external_editor = "gedit %s"57 -- prefs.external_editor = "emacsclient %s"58 55 else 59 56 prefs.external_editor = nil 60 57 end … … 115 112 prefs.automatic_use_title = false 116 113 117 114 -- How to start browser to show Ipe manual 118 if config.platform == "apple" then 119 prefs.browser = "open %s" 120 else 121 -- 'sensible-browser' and 'gnome-open' both work on Linux 122 -- prefs.browser = "sensible-browser %s &" 123 prefs.browser = "gnome-open %s" 124 end 115 prefs.browser = "open %s" 125 116 126 117 -- How to start onscreen keyboard 127 if config.platform == "unix" then 128 prefs.keyboard = "onboard &" 129 else 130 prefs.keyboard = nil 131 end 118 prefs.keyboard = nil 132 119 133 120 -- format string for the coordinates in the status bar 134 121 -- (x, unit, y, unit)