2012-12-05 agotake proximity into account for MaSh + fix a debilitating bug in feature generation
blanchet [Wed, 05 Dec 2012 13:25:06 +0100] rev 50383
take proximity into account for MaSh + fix a debilitating bug in feature generation

2012-12-05 agotuning
blanchet [Wed, 05 Dec 2012 13:25:06 +0100] rev 50382
tuning

2012-12-06 agoclarified default button (cf. org/gjt/sp/jedit/gui/OptionsDialog.java);
wenzelm [Thu, 06 Dec 2012 11:37:02 +0100] rev 50381
clarified default button (cf. org/gjt/sp/jedit/gui/OptionsDialog.java);

2012-12-05 agoselect logic session names, not paths;
wenzelm [Wed, 05 Dec 2012 22:25:15 +0100] rev 50380
select logic session names, not paths;

2012-12-05 agoadded keyboard shortcut for button (canonical way to do that?);
wenzelm [Wed, 05 Dec 2012 21:13:50 +0100] rev 50379
added keyboard shortcut for button (canonical way to do that?);

2012-12-05 agoevade ugly default font, notably on Windows laf;
wenzelm [Wed, 05 Dec 2012 20:43:02 +0100] rev 50378
evade ugly default font, notably on Windows laf;

2012-12-05 agocenter main window;
wenzelm [Wed, 05 Dec 2012 20:24:49 +0100] rev 50377
center main window;

2012-12-05 agomore direct dialog via existing GUI components;
wenzelm [Wed, 05 Dec 2012 19:46:47 +0100] rev 50376
more direct dialog via existing GUI components;

2012-12-05 agoclarified logic argument: session name, not path name;
wenzelm [Wed, 05 Dec 2012 19:25:57 +0100] rev 50375
clarified logic argument: session name, not path name;
tuned;

2012-12-05 agotuned message;
wenzelm [Wed, 05 Dec 2012 19:08:23 +0100] rev 50374
tuned message;