Ticket #28258: patch-ipe-lua-prefs.lua.diff
File patch-ipe-lua-prefs.lua.diff, 981 bytes (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 … … 107 104 prefs.automatic_use_title = false 108 105 109 106 -- How to start browser to show Ipe manual 110 if config.platform == "apple" then111 107 prefs.browser = "open %s" 112 else113 -- 'sensible-browser' and 'gnome-open' both work on Linux114 -- prefs.browser = "sensible-browser %s &"115 prefs.browser = "gnome-open %s"116 end117 108 118 109 -- How to start onscreen keyboard 119 if config.platform == "unix" then120 prefs.keyboard = "onboard &"121 else122 110 prefs.keyboard = nil 123 end124 111 125 112 -- format string for the coordinates in the status bar 126 113 -- (x, unit, y, unit)