Wed, 27 Feb 2013 19:39:16 +0100 | wenzelm | eliminated pointless re-ified errors; | file | diff | annotate |
Mon, 17 Dec 2012 11:07:20 +0100 | wenzelm | offer sessions of group "main" first to increase chances that the user makes a sensible choice; | file | diff | annotate |
Thu, 06 Dec 2012 17:59:37 +0100 | wenzelm | more uniform default logic, using settings, options, args etc.; | file | diff | annotate |
Wed, 05 Dec 2012 22:25:15 +0100 | wenzelm | select logic session names, not paths; | file | diff | annotate |
Wed, 05 Dec 2012 19:25:57 +0100 | wenzelm | clarified logic argument: session name, not path name; | file | diff | annotate |
Sun, 25 Nov 2012 20:59:32 +0100 | wenzelm | renamed main plugin object to PIDE; | file | diff | annotate |
Thu, 04 Oct 2012 19:31:50 +0200 | wenzelm | refined rich tooltip options; | file | diff | annotate |