Re: [Zim-wiki] Fwd: Change editor for "Edit Source"

2013-02-08 Thread Jaap Karssenberg
On Fri, Feb 8, 2013 at 10:59 PM, Svenn Are Bjerkem wrote: > At least now it should be possible to nuke the .desktop zim picks up > by renaming it and restart zim. Maybe there is some caching somewhere > that I don't know of. The cache is the "~/.local/share/applications/defaults.list" mentioned b

Re: [Zim-wiki] Fwd: Change editor for "Edit Source"

2013-02-08 Thread Svenn Are Bjerkem
On 8 February 2013 22:41, Jaap Karssenberg wrote: > P.S. the advise Svenn gave applies for older version of zim but is no > longer true for the current version Config files are old, yes. I scanned through the source in gui/__init__.py and found that zim seems to have an ability to ask the user f

[Zim-wiki] Fwd: Change editor for "Edit Source"

2013-02-08 Thread Jaap Karssenberg
On Fri, Feb 8, 2013 at 7:51 PM, Steve Chadsey wrote: > I'm running zim 0.59 on Ubuntu 12.04.1. Starting with the 0.57 > release, the editor that is selected for Tools->Edit Source is not the > one I want. Prior to 0.57, there was an "Applications" tab in the > preferences dialog, in which I coul