| Thu, 27 Aug 2009 12:12:11 +0200 |
immler |
include scala-swing
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 13:29:42 +0200 |
immler |
insert mode isabelle into catalog
|
file |
diff |
annotate
|
| Wed, 15 Apr 2009 18:23:04 +0200 |
immler |
use jEdits styles
|
file |
diff |
annotate
|
| Thu, 19 Mar 2009 13:16:07 +0100 |
immler |
build jar before running/debugging
|
file |
diff |
annotate
|
| Wed, 04 Feb 2009 21:50:08 +0100 |
immler |
syntax styles in properties
|
file |
diff |
annotate
|
| Sun, 01 Feb 2009 12:50:21 +0100 |
immler |
modified netbeans build such that dist can be used as settings-directory for jedit;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 14:48:10 +0100 |
wenzelm |
renamed IsabellePlugin to Isabelle;
|
file |
diff |
annotate
|
| Sun, 02 Nov 2008 16:28:37 +0100 |
immler |
fine scrolling principally possible
|
file |
diff |
annotate
|
| Sun, 02 Nov 2008 14:50:26 +0100 |
immler |
calculate preferred sizes only when needed
|
file |
diff |
annotate
|
| Fri, 31 Oct 2008 14:50:38 +0100 |
immler |
reverted and ignoring build.xml
|
file |
diff |
annotate
|
| Fri, 31 Oct 2008 14:49:09 +0100 |
immler |
faster resizing, unlimited caching(but cache is cleared on resize)
|
file |
diff |
annotate
|
| Tue, 28 Oct 2008 20:17:29 +0100 |
immler |
reverted build.xml
|
file |
diff |
annotate
|
| Tue, 28 Oct 2008 20:15:28 +0100 |
immler |
absolute positioning according to preferred size of panels,
|
file |
diff |
annotate
|
| Mon, 20 Oct 2008 20:25:54 +0200 |
wenzelm |
added target -pre-jar which copies jEdit plugin to be included in jar;
|
file |
diff |
annotate
|
| Sun, 19 Oct 2008 18:27:30 +0200 |
wenzelm |
basic Netbeans project setup;
|
file |
diff |
annotate
|