Mon, 14 Dec 2020 22:01:54 +0100 |
wenzelm |
clarified caret focus modifier, depending on option "jedit_focus_modifier";
|
file |
diff |
annotate
|
Sun, 13 Dec 2020 16:35:37 +0100 |
wenzelm |
clarified signature: more explicit types;
|
file |
diff |
annotate
|
Sun, 13 Dec 2020 16:00:52 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 13 Dec 2020 14:58:14 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Wed, 10 Jun 2020 19:59:12 +0200 |
wenzelm |
updated to jedit-5.6pre1 (repository version 25349);
|
file |
diff |
annotate
|
Wed, 22 Apr 2020 18:16:48 +0200 |
wenzelm |
avoid deprecated operations;
|
file |
diff |
annotate
|
Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
Sat, 29 Feb 2020 16:38:59 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 09 Jan 2018 20:15:36 +0100 |
wenzelm |
more accurate spell-checking for nested quotations / antiquotations, notably in formal comments;
|
file |
diff |
annotate
|
Mon, 06 Nov 2017 16:03:13 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 13 Jun 2017 20:16:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
Mon, 20 Mar 2017 14:36:15 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 14 Mar 2017 21:54:46 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Tue, 14 Mar 2017 21:43:54 +0100 |
wenzelm |
clarified singleton module;
|
file |
diff |
annotate
|
Tue, 14 Mar 2017 20:50:21 +0100 |
wenzelm |
avoid global variables with implicit initialization;
|
file |
diff |
annotate
|
Mon, 13 Mar 2017 20:33:42 +0100 |
wenzelm |
proper local debugger state, depending on session;
|
file |
diff |
annotate
|
Fri, 10 Mar 2017 21:47:48 +0100 |
wenzelm |
suppress irrelevant markup for VSCode;
|
file |
diff |
annotate
|
Mon, 06 Mar 2017 11:38:06 +0100 |
wenzelm |
more generic colors;
|
file |
diff |
annotate
|
Sun, 05 Mar 2017 22:06:13 +0100 |
wenzelm |
more generic rendering;
|
file |
diff |
annotate
|
Sat, 04 Mar 2017 09:27:51 +0100 |
wenzelm |
symbolic Rendering.Color;
|
file |
diff |
annotate
|
Thu, 12 Jan 2017 12:29:12 +0100 |
wenzelm |
more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
|
file |
diff |
annotate
|
Tue, 20 Dec 2016 21:35:56 +0100 |
wenzelm |
clarified module name;
|
file |
diff |
annotate
|
Mon, 25 Apr 2016 21:32:23 +0200 |
wenzelm |
clarified rendering;
|
file |
diff |
annotate
|
Tue, 19 Apr 2016 14:38:55 +0200 |
wenzelm |
more thorough update;
|
file |
diff |
annotate
|
Fri, 15 Apr 2016 14:27:59 +0200 |
wenzelm |
clarified rendering wrt. hyperlinks;
|
file |
diff |
annotate
|
Fri, 15 Apr 2016 12:07:53 +0200 |
wenzelm |
tuned rendering;
|
file |
diff |
annotate
|
Thu, 14 Apr 2016 22:55:53 +0200 |
wenzelm |
background color for entity def/ref focus;
|
file |
diff |
annotate
|
Sat, 02 Apr 2016 14:17:03 +0200 |
wenzelm |
more robust display of bidirectional Unicode text: enforce left-to-right;
|
file |
diff |
annotate
|
Mon, 24 Aug 2015 20:08:00 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Mon, 24 Aug 2015 11:38:05 +0200 |
wenzelm |
maintain per-thread focus context;
|
file |
diff |
annotate
|
Mon, 24 Aug 2015 00:20:20 +0200 |
wenzelm |
more explicit debugger caret rendering;
|
file |
diff |
annotate
|
Wed, 12 Aug 2015 02:21:00 +0200 |
wenzelm |
clarified breakpoint rendering;
|
file |
diff |
annotate
|
Tue, 11 Aug 2015 15:24:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 03 May 2015 00:01:10 +0200 |
wenzelm |
misc tuning, based on warnings by IntelliJ IDEA;
|
file |
diff |
annotate
|
Thu, 08 Jan 2015 20:56:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Wed, 22 Oct 2014 17:34:01 +0200 |
wenzelm |
proper line height and text base line, like regular TextAreaPainter.PaintText;
|
file |
diff |
annotate
|
Mon, 04 Aug 2014 19:47:25 +0200 |
wenzelm |
even more thorough reset on mouse drag (see also 0c63f3538639, 7e8c11011fdf);
|
file |
diff |
annotate
|
Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
Tue, 06 May 2014 22:01:43 +0200 |
wenzelm |
more robust line_range, according to usual jEdit confusion at end of last line (see also 71c5d1f516c0);
|
file |
diff |
annotate
|
Tue, 06 May 2014 21:29:17 +0200 |
wenzelm |
common support for search field, which is actually a light-weight Highlighter;
|
file |
diff |
annotate
|
Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
Tue, 15 Apr 2014 19:27:50 +0200 |
wenzelm |
prefer direct caret_range for update_dictionary actions, which usually happen outside the flow of editing;
|
file |
diff |
annotate
|
Sun, 13 Apr 2014 21:51:49 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
Sun, 13 Apr 2014 21:43:25 +0200 |
wenzelm |
added spell-checker completion dialog, without counting frequency of items due to empty name;
|
file |
diff |
annotate
|
Sun, 13 Apr 2014 19:55:16 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Sun, 13 Apr 2014 19:18:30 +0200 |
wenzelm |
tuned rendering -- avoid overlap with squiggly underline;
|
file |
diff |
annotate
|
Sun, 13 Apr 2014 16:06:55 +0200 |
wenzelm |
tuned signature -- explicit Spell_Checker_Variable;
|
file |
diff |
annotate
|
Sat, 12 Apr 2014 21:00:04 +0200 |
wenzelm |
more general spell_checker_elements;
|
file |
diff |
annotate
|
Sat, 12 Apr 2014 20:49:57 +0200 |
wenzelm |
added spell-checker options;
|
file |
diff |
annotate
|
Wed, 09 Apr 2014 16:22:06 +0200 |
wenzelm |
dismiss popups more carefully (amending 7e8c11011fdf), notably allow mouse dragging within some tooltip, e.g. for text selection;
|
file |
diff |
annotate
|
Wed, 09 Apr 2014 15:19:22 +0200 |
wenzelm |
clarifed results range;
|
file |
diff |
annotate
|
Wed, 09 Apr 2014 13:32:34 +0200 |
wenzelm |
avoid confusion about pointless cursor movement with external links;
|
file |
diff |
annotate
|
Sun, 06 Apr 2014 14:30:26 +0200 |
wenzelm |
prepare "back" position for Navigator, before following hyperlink;
|
file |
diff |
annotate
|
Fri, 04 Apr 2014 14:31:31 +0200 |
wenzelm |
revert ce37fcb30cf2 for the sake of Mac OS X -- let some event listeners of jEdit reset the cursor;
|
file |
diff |
annotate
|
Wed, 02 Apr 2014 20:41:44 +0200 |
wenzelm |
tuned signature -- more explicit iterator terminology;
|
file |
diff |
annotate
|
Wed, 02 Apr 2014 11:55:37 +0200 |
wenzelm |
more uniform painting of caret, which also improves visibility in invisible state;
|
file |
diff |
annotate
|
Mon, 31 Mar 2014 20:07:59 +0200 |
wenzelm |
clear active areas (notably mouse pointer) before changing context (e.g. via hyperlink);
|
file |
diff |
annotate
|
Mon, 31 Mar 2014 18:28:35 +0200 |
wenzelm |
reset mouse pointer more decisively, for the sake of Mac OS X (despite the builtin policie of jEdit);
|
file |
diff |
annotate
|
Sat, 29 Mar 2014 20:22:38 +0100 |
wenzelm |
check global mouse status before opening tooltip, e.g. relevant when the mouse has moved outside the window and mouse events are no longer seen by this component;
|
file |
diff |
annotate
|
Sat, 29 Mar 2014 12:42:24 +0100 |
wenzelm |
dismiss all popups on mouse drags, e.g. to avoid conflict of C-hover of Isabelle/jEdit and C-selection of jEdit;
|
file |
diff |
annotate
|