Sat, 20 Dec 2008 11:07:02 +0100 wenzelm removed jEdit sources from target;
Sat, 20 Dec 2008 00:14:25 +0100 wenzelm more robust handling of FILES with spaces, using bash array variables;
Fri, 19 Dec 2008 23:56:58 +0100 wenzelm disabled tracing;
Fri, 19 Dec 2008 23:55:07 +0100 wenzelm misc tuning;
Fri, 19 Dec 2008 23:54:24 +0100 wenzelm proper spelling of JEDIT_JAVA_OPTIONS;
Fri, 19 Dec 2008 23:11:08 +0100 wenzelm added some headers and comments;
Fri, 19 Dec 2008 22:24:32 +0100 wenzelm added some headers and comments;
Thu, 18 Dec 2008 01:10:20 +0100 immler restructured: independent provers in different buffers
Mon, 15 Dec 2008 16:34:19 +0100 immler added 'delay or ignore'
Mon, 15 Dec 2008 16:23:17 +0100 immler delayed repainting new phase in buffer and overview;
Wed, 10 Dec 2008 19:52:35 +0100 immler information on command-phase left of scrollbar (with panel)
Wed, 10 Dec 2008 19:51:15 +0100 immler information on command-phase left of scrollbar
Wed, 10 Dec 2008 14:45:04 +0100 immler structure of markup-tree in scala, keep track of swing-nodes in background
Mon, 08 Dec 2008 19:11:06 +0100 immler MarkupNode instead of DefaultMutableTreeNode and RelativeAsset
Sun, 07 Dec 2008 19:55:01 +0100 immler interpretation of STATUS messages in one place, deleting inner syntax
Sun, 07 Dec 2008 15:39:50 +0100 immler no syserr
Sun, 07 Dec 2008 15:36:24 +0100 immler handle statuses in Command
Sun, 07 Dec 2008 15:01:37 +0100 immler command property: offset relative to start of command
Tue, 02 Dec 2008 15:25:24 +0100 immler include Sidekick its dependency ErrorList in dist
Sun, 30 Nov 2008 19:32:17 +0100 immler removed debugging output
Sun, 30 Nov 2008 19:18:59 +0100 immler basic tree structure for sidekick
Sat, 29 Nov 2008 19:31:09 +0100 immler encoloring only details in the current line!
Fri, 28 Nov 2008 17:49:39 +0100 immler ugly fine-grained buffer markup
Fri, 28 Nov 2008 15:51:40 +0100 immler Token-functions with type-parameters
Fri, 28 Nov 2008 15:34:52 +0100 immler moved methods to object Token
Fri, 28 Nov 2008 15:00:07 +0100 immler arbitrary type for tokens
Thu, 27 Nov 2008 22:24:53 +0100 immler removed xsymbol converting -> sidekick should do that
Thu, 27 Nov 2008 21:15:31 +0100 immler revalidate for repainting
Wed, 26 Nov 2008 18:10:53 +0100 immler merge
Wed, 19 Nov 2008 11:49:30 +0100 immler adj scrolling
Wed, 19 Nov 2008 11:45:54 +0100 immler abstract buffers and renderer
Sat, 22 Nov 2008 01:02:08 +0100 wenzelm use build-nb.xml for "debug" as well;
Sat, 22 Nov 2008 00:51:27 +0100 wenzelm basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
Wed, 19 Nov 2008 20:51:27 +0100 wenzelm updated version of nbproject, as produced by build in Netbeans 6.5;
Wed, 19 Nov 2008 20:46:54 +0100 wenzelm adapted jar locations;
Wed, 19 Nov 2008 20:46:34 +0100 wenzelm incorporated NOTES into TODO;
Wed, 19 Nov 2008 14:01:42 +0100 wenzelm updates for Netbeans 6.5;
Wed, 19 Nov 2008 11:07:22 +0100 immler pass results to Scroller
Tue, 18 Nov 2008 22:15:06 +0100 immler replacing xsymbols *after* inserting text
Tue, 18 Nov 2008 22:07:40 +0100 immler buffer as array
Tue, 18 Nov 2008 21:58:22 +0100 immler convert eg pasted xsymbols
Tue, 18 Nov 2008 21:47:33 +0100 immler removed System.err...
Tue, 18 Nov 2008 21:45:29 +0100 immler copy-paste for XHTMLPanels
Tue, 18 Nov 2008 15:41:01 +0100 immler register to buffer all messages
Tue, 18 Nov 2008 15:01:00 +0100 immler done
Tue, 18 Nov 2008 15:00:23 +0100 immler fine grained scrolling
Tue, 18 Nov 2008 13:46:43 +0100 immler removed senseless lines
Tue, 18 Nov 2008 13:43:18 +0100 immler restructured scroller
Mon, 17 Nov 2008 16:39:39 +0100 immler renamed to message_panel
Thu, 13 Nov 2008 13:08:37 +0100 immler playing with xsymbols
Thu, 13 Nov 2008 11:59:39 +0100 immler use utf-8 charset encoding
Tue, 11 Nov 2008 15:27:48 +0100 immler copying selection to clipboard
Mon, 10 Nov 2008 19:31:27 +0100 immler selecting text of state view
Mon, 10 Nov 2008 17:32:07 +0100 immler worked over autoscrolling
Thu, 06 Nov 2008 18:19:56 +0100 immler removed imports
Wed, 05 Nov 2008 16:28:56 +0100 immler minimum height for panels, immediate scrolling and correct waiting
Wed, 05 Nov 2008 15:53:53 +0100 immler scroll to first message immediately; potential later messages periodically
Wed, 05 Nov 2008 15:33:52 +0100 immler auto-scrolling
Mon, 03 Nov 2008 18:44:48 +0100 immler prepared for automatic scrolling
Mon, 03 Nov 2008 17:29:06 +0100 immler cleaned up a bit, scrolling arbitrary heights (incremental rendering)
(0) -30000 -10000 -3000 -1000 -300 -100 -60 +60 +100 +300 +1000 +3000 +10000 +30000 tip