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  
    5252-- DOS window will pop up when calling the editor
    5353if os.getenv("EDITOR") then
    5454  prefs.external_editor = os.getenv("EDITOR") .. " %s"
    55 elseif config.platform ~= "win" then
    56   prefs.external_editor = "gedit %s"
    57   -- prefs.external_editor = "emacsclient %s"
    5855else
    5956  prefs.external_editor = nil
    6057end
     
    107104prefs.automatic_use_title = false
    108105
    109106-- How to start browser to show Ipe manual
    110 if config.platform == "apple" then
    111107  prefs.browser = "open %s"
    112 else
    113   -- 'sensible-browser' and 'gnome-open' both work on Linux
    114   -- prefs.browser = "sensible-browser %s &"
    115   prefs.browser = "gnome-open %s"
    116 end
    117108
    118109-- How to start onscreen keyboard
    119 if config.platform == "unix" then
    120   prefs.keyboard = "onboard &"
    121 else
    122110  prefs.keyboard = nil
    123 end
    124111
    125112-- format string for the coordinates in the status bar
    126113-- (x, unit, y, unit)