Wed, 19 Sep 2012 12:10:40 +0200 |
wenzelm |
more robust GUI component handlers;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 20:34:19 +0200 |
wenzelm |
renamed Text_Area_Painter to Rich_Text_Area;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 20:23:25 +0200 |
wenzelm |
tuned signature -- more general Text_Area_Painter operations;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 18:06:34 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 17:56:10 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 17 Sep 2012 17:49:11 +0200 |
wenzelm |
somewhat more general JEdit_Lib;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 21:15:59 +0200 |
wenzelm |
no longer react on global_settings (cf. 34ac36642a31);
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 20:49:54 +0200 |
wenzelm |
refined output panel: more value-oriented approach to update and caret focus;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 18:12:41 +0200 |
wenzelm |
clarified markup names;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 17:37:19 +0200 |
wenzelm |
more general Document_Model.point_range;
|
file |
diff |
annotate
|
Fri, 14 Sep 2012 13:52:16 +0200 |
wenzelm |
more static handling of rendering options;
|
file |
diff |
annotate
|
Tue, 11 Sep 2012 19:19:39 +0200 |
wenzelm |
more options;
|
file |
diff |
annotate
|
Fri, 07 Sep 2012 15:00:03 +0200 |
wenzelm |
postpone update of text overview panel after incoming session edits, to improve reactivity of editing massive theories like src/HOL/Multivariate_Analysis;
|
file |
diff |
annotate
|
Fri, 07 Sep 2012 13:58:54 +0200 |
wenzelm |
more explicit Delay operations;
|
file |
diff |
annotate
|
Fri, 24 Aug 2012 16:45:55 +0200 |
wenzelm |
support for direct hyperlinks, without the Hyperlinks plugin;
|
file |
diff |
annotate
|
Thu, 24 May 2012 22:07:00 +0200 |
wenzelm |
less warning in scala-2.10.0-M3;
|
file |
diff |
annotate
|
Sat, 07 Apr 2012 17:49:20 +0200 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
Mon, 19 Mar 2012 23:08:27 +0100 |
wenzelm |
explicit propagation of assignment event, even if changed command set is empty;
|
file |
diff |
annotate
|
Mon, 19 Mar 2012 15:56:27 +0100 |
wenzelm |
further amendment of "updated" edge (cf. 6ed49c52d463) -- required for repainting of unassigned command, e.g. for inactive buffe;
|
file |
diff |
annotate
|
Sat, 17 Mar 2012 17:44:29 +0100 |
wenzelm |
misc tuning to accomodate scala-2.10.0-M2;
|
file |
diff |
annotate
|
Wed, 14 Mar 2012 15:37:51 +0100 |
wenzelm |
more explicit indication of swing thread context;
|
file |
diff |
annotate
|
Wed, 14 Mar 2012 15:09:33 +0100 |
wenzelm |
prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks;
|
file |
diff |
annotate
|
Sun, 04 Mar 2012 19:24:05 +0100 |
wenzelm |
tuned comment;
|
file |
diff |
annotate
|
Sun, 04 Mar 2012 19:16:09 +0100 |
wenzelm |
removed obsolete proper_command_at (cf. 03a2dc9e0624);
|
file |
diff |
annotate
|
Sun, 04 Mar 2012 18:15:45 +0100 |
wenzelm |
clarified special eol treatment and moved to gfx_range -- enables error messages at end of input, e.g. "prop PROP";
|
file |
diff |
annotate
|
Thu, 01 Mar 2012 14:12:18 +0100 |
wenzelm |
explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
|
file |
diff |
annotate
|
Tue, 21 Feb 2012 23:24:49 +0100 |
wenzelm |
more robust visible_range: allow empty view;
|
file |
diff |
annotate
|
Tue, 21 Feb 2012 16:04:58 +0100 |
wenzelm |
separate module for text status overview;
|
file |
diff |
annotate
|
Tue, 21 Feb 2012 15:36:23 +0100 |
wenzelm |
overview.delay_repaint: avoid wasting GUI cycles via update_delay;
|
file |
diff |
annotate
|
Mon, 20 Feb 2012 22:35:32 +0100 |
wenzelm |
observe HEIGHT of overview ticks;
|
file |
diff |
annotate
|
Mon, 20 Feb 2012 20:24:01 +0100 |
wenzelm |
more careful painting of overview component: more precise and more efficient;
|
file |
diff |
annotate
|
Sun, 15 Jan 2012 19:55:31 +0100 |
wenzelm |
back to more basic caret_range (reverting 0ad063afa3d6) -- BreakIterator crashes due to non-zero text.offset when deleting the first character of the buffer;
|
file |
diff |
annotate
|
Sun, 15 Jan 2012 19:09:03 +0100 |
wenzelm |
more precise rendering of overview_color/gutter_message/squiggly_underline based on cumulation of command status and warning/error messages;
|
file |
diff |
annotate
|
Sat, 14 Jan 2012 13:11:32 +0100 |
wenzelm |
ignore empty gfx_range;
|
file |
diff |
annotate
|
Tue, 10 Jan 2012 23:26:27 +0100 |
wenzelm |
clarified Isabelle_Rendering vs. physical painting;
|
file |
diff |
annotate
|
Sat, 03 Dec 2011 13:11:50 +0100 |
wenzelm |
caret_range based on BreakIterator, which handles combined unicode characters as well;
|
file |
diff |
annotate
|
Mon, 28 Nov 2011 20:39:08 +0100 |
wenzelm |
renamed Isabelle_Markup to Isabelle_Rendering to emphasize its meaning and make room for Pure Isabelle_Markup module;
|
file |
diff |
annotate
|
Sat, 12 Nov 2011 11:45:49 +0100 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Fri, 11 Nov 2011 22:05:18 +0100 |
wenzelm |
more tooltip content;
|
file |
diff |
annotate
|
Wed, 07 Sep 2011 21:38:48 +0200 |
wenzelm |
clarified terminology;
|
file |
diff |
annotate
|
Wed, 07 Sep 2011 11:17:19 +0200 |
wenzelm |
added "check" button: adhoc change to full buffer perspective;
|
file |
diff |
annotate
|
Thu, 01 Sep 2011 13:34:45 +0200 |
wenzelm |
more abstract Document.Node.Name;
|
file |
diff |
annotate
|
Wed, 31 Aug 2011 17:22:49 +0200 |
wenzelm |
tuned Commands_Changed: cover nodes as well;
|
file |
diff |
annotate
|
Tue, 30 Aug 2011 16:33:24 +0200 |
wenzelm |
restrict perspective to actual buffer_range, to avoid spurious edits due to faulty last_exec_offset (NB: jEdit screenlines may be silently extended by trailing newline);
|
file |
diff |
annotate
|
Thu, 25 Aug 2011 11:27:37 +0200 |
wenzelm |
slightly more abstract Text.Perspective;
|
file |
diff |
annotate
|
Wed, 24 Aug 2011 13:37:43 +0200 |
wenzelm |
more reliable update_perspective handler based on actual text visibility (e.g. on startup or when resizing without scrolling);
|
file |
diff |
annotate
|
Wed, 24 Aug 2011 13:03:39 +0200 |
wenzelm |
update_perspective without actual edits, bypassing the full state assignment protocol;
|
file |
diff |
annotate
|
Mon, 22 Aug 2011 16:12:23 +0200 |
wenzelm |
added official Text.Range.Ordering;
|
file |
diff |
annotate
|
Mon, 22 Aug 2011 14:15:52 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 22:11:32 +0200 |
wenzelm |
quasi-static Isabelle_System -- reduced tendency towards "functorial style";
|
file |
diff |
annotate
|
Mon, 04 Jul 2011 13:43:10 +0200 |
wenzelm |
imitate exception ERROR of Isabelle/ML;
|
file |
diff |
annotate
|
Thu, 23 Jun 2011 14:52:32 +0200 |
wenzelm |
explicit import java.lang.System to prevent odd scope problems;
|
file |
diff |
annotate
|
Wed, 22 Jun 2011 20:25:35 +0200 |
wenzelm |
init/exit model/view synchronously within the swing thread -- EditBus.send in jedit-4.4.1 always runs there;
|
file |
diff |
annotate
|
Sat, 18 Jun 2011 21:03:52 +0200 |
wenzelm |
more robust caret painting wrt. surrogate characters;
|
file |
diff |
annotate
|
Fri, 17 Jun 2011 13:55:53 +0200 |
wenzelm |
flush snapshot on falling edge of is_outdated -- recover effect of former buffer.propertiesChanged on text area (cf. f0770743b7ec);
|
file |
diff |
annotate
|
Thu, 16 Jun 2011 23:35:37 +0200 |
wenzelm |
more precise imitation of original TextAreaPainter: no locking;
|
file |
diff |
annotate
|
Thu, 16 Jun 2011 22:05:40 +0200 |
wenzelm |
static token markup, based on outer syntax only;
|
file |
diff |
annotate
|
Wed, 15 Jun 2011 21:11:53 +0200 |
wenzelm |
uniform use of Document_View.robust_body;
|
file |
diff |
annotate
|
Wed, 15 Jun 2011 16:22:58 +0200 |
wenzelm |
more robust init;
|
file |
diff |
annotate
|
Wed, 15 Jun 2011 13:36:08 +0200 |
wenzelm |
more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
|
file |
diff |
annotate
|