2014-06-28 jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;
wenzelm [Sat, 28 Jun 2014 18:02:33 +0200] rev 57425
jedit_completion_immediate is enabled by default: let all users participate in slightly more ambitious symbol insertion;
2014-06-28 removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
wenzelm [Sat, 28 Jun 2014 17:54:34 +0200] rev 57424
removed slightly odd fall-back on complete-word (NB: connection to default menu action is unclear);
2014-06-28 updated NEWS -- removed material that is already in the manual;
wenzelm [Sat, 28 Jun 2014 15:50:48 +0200] rev 57423
updated NEWS -- removed material that is already in the manual;
2014-06-28 merged
wenzelm [Sat, 28 Jun 2014 15:35:30 +0200] rev 57422
merged
2014-06-28 misc tuning;
wenzelm [Sat, 28 Jun 2014 15:34:43 +0200] rev 57421
misc tuning;
2014-06-28 misc tuning;
wenzelm [Sat, 28 Jun 2014 11:19:58 +0200] rev 57420
misc tuning;
(0) -30000 -10000 -3000 -1000 -300 -100 -30 -10 -6 +6 +10 +30 +100 +300 +1000 +3000 +10000 tip