Ticket #22401: patch-ipe-lua-prefs.lua.diff

File patch-ipe-lua-prefs.lua.diff, 406 bytes (added by m.thon@…, 15 years ago)

  • ipe/lua/prefs.lua

    old new  
    7878
    7979-- How to start browser to show Ipe manual
    8080-- prefs.browser = "sensible-browser %s &"
    81 prefs.browser = "gnome-open %s"
     81prefs.browser = "open %s"
    8282
    8383-- Auto-exporting when document is being saved
    8484-- if auto_export_only_if_exists is true, then the file will only