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  
    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
     
    115112prefs.automatic_use_title = false
    116113
    117114-- 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
     115prefs.browser = "open %s"
    125116
    126117-- How to start onscreen keyboard
    127 if config.platform == "unix" then
    128   prefs.keyboard = "onboard &"
    129 else
    130   prefs.keyboard = nil
    131 end
     118prefs.keyboard = nil
    132119
    133120-- format string for the coordinates in the status bar
    134121-- (x, unit, y, unit)