| Mon, 12 May 2014 12:01:02 +0200 | wenzelm | smarter recovery from toplevel type error; | changeset | files |
| Sun, 11 May 2014 20:23:08 +0200 | wenzelm | more direct patch of public interface DockableWindowContainer -- avoid package org.gjt.sp.jedit.gui intrusion; | changeset | files |
| Fri, 09 May 2014 23:00:18 +0200 | wenzelm | updated keywords; | changeset | files |