Mon, 14 Apr 2014 23:24:05 +0200 wenzelm tuned;
Mon, 14 Apr 2014 23:13:10 +0200 wenzelm added context menu for spell checker actions;
Mon, 14 Apr 2014 22:51:23 +0200 wenzelm full repaint after dictionary update;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -3 +3 +10 +30 +100 +300 +1000 +3000 +10000 tip