immler@in.tum.de [Wed, 26 Nov 2008 18:10:53 +0100] rev 34385
merge
immler@in.tum.de [Wed, 19 Nov 2008 11:49:30 +0100] rev 34384
adj scrolling
immler@in.tum.de [Wed, 19 Nov 2008 11:45:54 +0100] rev 34383
abstract buffers and renderer
wenzelm [Sat, 22 Nov 2008 01:02:08 +0100] rev 34382
use build-nb.xml for "debug" as well;
wenzelm [Sat, 22 Nov 2008 00:51:27 +0100] rev 34381
basic setup for auxiliary project "jEdit", with full sources, debugging, profiling;
wenzelm [Wed, 19 Nov 2008 20:51:27 +0100] rev 34380
updated version of nbproject, as produced by build in Netbeans 6.5;
wenzelm [Wed, 19 Nov 2008 20:46:54 +0100] rev 34379
adapted jar locations;
wenzelm [Wed, 19 Nov 2008 20:46:34 +0100] rev 34378
incorporated NOTES into TODO;
wenzelm [Wed, 19 Nov 2008 14:01:42 +0100] rev 34377
updates for Netbeans 6.5;
immler@in.tum.de [Wed, 19 Nov 2008 11:07:22 +0100] rev 34376
pass results to Scroller
immler@in.tum.de [Tue, 18 Nov 2008 22:15:06 +0100] rev 34375
replacing xsymbols *after* inserting text
immler@in.tum.de [Tue, 18 Nov 2008 22:07:40 +0100] rev 34374
buffer as array
immler@in.tum.de [Tue, 18 Nov 2008 21:58:22 +0100] rev 34373
convert eg pasted xsymbols
immler@in.tum.de [Tue, 18 Nov 2008 21:47:33 +0100] rev 34372
removed System.err...
immler@in.tum.de [Tue, 18 Nov 2008 21:45:29 +0100] rev 34371
copy-paste for XHTMLPanels
immler@in.tum.de [Tue, 18 Nov 2008 15:41:01 +0100] rev 34370
register to buffer all messages
immler@in.tum.de [Tue, 18 Nov 2008 15:01:00 +0100] rev 34369
done
immler@in.tum.de [Tue, 18 Nov 2008 15:00:23 +0100] rev 34368
fine grained scrolling
immler@in.tum.de [Tue, 18 Nov 2008 13:46:43 +0100] rev 34367
removed senseless lines
immler@in.tum.de [Tue, 18 Nov 2008 13:43:18 +0100] rev 34366
restructured scroller
immler@in.tum.de [Mon, 17 Nov 2008 16:39:39 +0100] rev 34365
renamed to message_panel
immler@in.tum.de [Thu, 13 Nov 2008 13:08:37 +0100] rev 34364
playing with xsymbols
immler@in.tum.de [Thu, 13 Nov 2008 11:59:39 +0100] rev 34363
use utf-8 charset encoding
immler@in.tum.de [Tue, 11 Nov 2008 15:27:48 +0100] rev 34362
copying selection to clipboard