Mon, 14 Apr 2014 22:51:23 +0200 | wenzelm | full repaint after dictionary update; | changeset | files |
Mon, 14 Apr 2014 21:51:41 +0200 | wenzelm | some actions to maintain spell-checker dictionary; | changeset | files |
Mon, 14 Apr 2014 20:36:50 +0200 | wenzelm | more explicit user declarations for main dictionary; | changeset | files |