src/Tools/jEdit/src/document_view.scala
Sat, 07 Apr 2012 17:49:20 +0200 wenzelm tuned imports;
Mon, 19 Mar 2012 23:08:27 +0100 wenzelm explicit propagation of assignment event, even if changed command set is empty;
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;
Sat, 17 Mar 2012 17:44:29 +0100 wenzelm misc tuning to accomodate scala-2.10.0-M2;
Wed, 14 Mar 2012 15:37:51 +0100 wenzelm more explicit indication of swing thread context;
Wed, 14 Mar 2012 15:09:33 +0100 wenzelm prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks;
Sun, 04 Mar 2012 19:24:05 +0100 wenzelm tuned comment;
Sun, 04 Mar 2012 19:16:09 +0100 wenzelm removed obsolete proper_command_at (cf. 03a2dc9e0624);
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";
Thu, 01 Mar 2012 14:12:18 +0100 wenzelm explicitly revoke delay, to avoid spurious timer events after deactivation of related components;
Tue, 21 Feb 2012 23:24:49 +0100 wenzelm more robust visible_range: allow empty view;
Tue, 21 Feb 2012 16:04:58 +0100 wenzelm separate module for text status overview;
Tue, 21 Feb 2012 15:36:23 +0100 wenzelm overview.delay_repaint: avoid wasting GUI cycles via update_delay;
Mon, 20 Feb 2012 22:35:32 +0100 wenzelm observe HEIGHT of overview ticks;
Mon, 20 Feb 2012 20:24:01 +0100 wenzelm more careful painting of overview component: more precise and more efficient;
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;
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;
Sat, 14 Jan 2012 13:11:32 +0100 wenzelm ignore empty gfx_range;
Tue, 10 Jan 2012 23:26:27 +0100 wenzelm clarified Isabelle_Rendering vs. physical painting;
Sat, 03 Dec 2011 13:11:50 +0100 wenzelm caret_range based on BreakIterator, which handles combined unicode characters as well;
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;
Sat, 12 Nov 2011 11:45:49 +0100 wenzelm tuned signature;
Fri, 11 Nov 2011 22:05:18 +0100 wenzelm more tooltip content;
Wed, 07 Sep 2011 21:38:48 +0200 wenzelm clarified terminology;
Wed, 07 Sep 2011 11:17:19 +0200 wenzelm added "check" button: adhoc change to full buffer perspective;
Thu, 01 Sep 2011 13:34:45 +0200 wenzelm more abstract Document.Node.Name;
Wed, 31 Aug 2011 17:22:49 +0200 wenzelm tuned Commands_Changed: cover nodes as well;
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);
Thu, 25 Aug 2011 11:27:37 +0200 wenzelm slightly more abstract Text.Perspective;
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);
Wed, 24 Aug 2011 13:03:39 +0200 wenzelm update_perspective without actual edits, bypassing the full state assignment protocol;
Mon, 22 Aug 2011 16:12:23 +0200 wenzelm added official Text.Range.Ordering;
Mon, 22 Aug 2011 14:15:52 +0200 wenzelm tuned signature;
Mon, 04 Jul 2011 22:11:32 +0200 wenzelm quasi-static Isabelle_System -- reduced tendency towards "functorial style";
Mon, 04 Jul 2011 13:43:10 +0200 wenzelm imitate exception ERROR of Isabelle/ML;
Thu, 23 Jun 2011 14:52:32 +0200 wenzelm explicit import java.lang.System to prevent odd scope problems;
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;
Sat, 18 Jun 2011 21:03:52 +0200 wenzelm more robust caret painting wrt. surrogate characters;
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);
Thu, 16 Jun 2011 23:35:37 +0200 wenzelm more precise imitation of original TextAreaPainter: no locking;
Thu, 16 Jun 2011 22:05:40 +0200 wenzelm static token markup, based on outer syntax only;
Wed, 15 Jun 2011 21:11:53 +0200 wenzelm uniform use of Document_View.robust_body;
Wed, 15 Jun 2011 16:22:58 +0200 wenzelm more robust init;
Wed, 15 Jun 2011 13:36:08 +0200 wenzelm more precise caret painting, working around existing painter (which is reinstalled by jEdit occasionally);
Wed, 15 Jun 2011 11:41:49 +0200 wenzelm paint caret according to precise font metrics;
Tue, 14 Jun 2011 17:24:23 +0200 wenzelm builtin sub/superscript styles for jedit-4.3.2;
Tue, 14 Jun 2011 14:55:22 +0200 wenzelm recovered tooltip Entity content (odd effect of layer change!? cf. 806878ae2219);
Tue, 14 Jun 2011 11:36:08 +0200 wenzelm separate module for text area painting;
Mon, 13 Jun 2011 23:09:01 +0200 wenzelm some direct text foreground painting, instead of token marking;
Sun, 12 Jun 2011 20:08:49 +0200 wenzelm separate isabelle.jedit.Text_Painter, which actually replaces the original TextAreaPainter$PaintText instance;
Wed, 08 Jun 2011 17:42:07 +0200 wenzelm moved sources -- eliminated Netbeans artifact of jedit package directory;
less more (0) tip