| Wed, 10 Nov 2010 15:59:23 +0100 |
wenzelm |
manage folding via sidekick by default;
|
file |
diff |
annotate
|
| Thu, 28 Oct 2010 14:56:14 +0200 |
wenzelm |
dock isabelle-session at bottom (again, cf. 37bdc2220cf8) to ensure that controls are fully visible;
|
file |
diff |
annotate
|
| Fri, 01 Oct 2010 15:11:15 +0200 |
wenzelm |
tuned default "Prover Session" perspective;
|
file |
diff |
annotate
|
| Tue, 28 Sep 2010 20:49:39 +0200 |
wenzelm |
tuned default perspective;
|
file |
diff |
annotate
|
| Thu, 23 Sep 2010 18:44:26 +0200 |
wenzelm |
explicit Session.Phase indication with associated event bus;
|
file |
diff |
annotate
|
| Sun, 19 Sep 2010 22:20:48 +0200 |
wenzelm |
back to default fold painter -- Circle looks slightly odd in conjunction with bracket matching;
|
file |
diff |
annotate
|
| Sat, 18 Sep 2010 14:28:42 +0200 |
wenzelm |
basic setup for prover session panel;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 23:53:27 +0200 |
wenzelm |
tuned properties;
|
file |
diff |
annotate
|
| Tue, 07 Sep 2010 21:06:58 +0200 |
wenzelm |
Document_View: more precise painting of gutter icons, only if line selection area is sufficiently large;
|
file |
diff |
annotate
|
| Tue, 10 Aug 2010 14:24:13 +0200 |
wenzelm |
prefer Nimbus look and feel on all platforms, instead of the somewhat ugly javax.swing.plaf.metal.MetalLookAndFeel, which presumably is implicit fall-back nonetheless;
|
file |
diff |
annotate
|
| Thu, 03 Jun 2010 22:54:33 +0200 |
wenzelm |
tuned default perspective;
|
file |
diff |
annotate
|
| Sun, 30 May 2010 13:44:35 +0200 |
wenzelm |
more basic default behaviour of ENTER, HOME, END;
|
file |
diff |
annotate
|
| Fri, 28 May 2010 15:57:25 +0200 |
wenzelm |
also set font for printing, which actually works out of the box;
|
file |
diff |
annotate
|
| Tue, 11 May 2010 10:36:50 +0200 |
wenzelm |
disable two stage save by default, to avoid change of file permissions (notably the dreaded executable bit on Cygwin);
|
file |
diff |
annotate
|
| Tue, 12 Jan 2010 17:06:36 +0100 |
wenzelm |
tuned initial properties/perspective;
|
file |
diff |
annotate
|
| Tue, 12 Jan 2010 16:51:51 +0100 |
wenzelm |
provide JEDIT_SETTINGS via settings;
|
file |
diff |
annotate
|
| Wed, 30 Dec 2009 18:22:10 +0100 |
wenzelm |
removed experimental history panel;
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 23:45:42 +0100 |
wenzelm |
renamed "raw output" to "protocol";
|
file |
diff |
annotate
|
| Tue, 08 Dec 2009 16:30:20 +0100 |
wenzelm |
misc modernization of names;
|
file |
diff |
annotate
|
| Mon, 07 Dec 2009 22:59:48 +0100 |
wenzelm |
use IsabelleText by default;
|
file |
diff |
annotate
|
| Sun, 13 Sep 2009 14:34:50 +0200 |
wenzelm |
avoid fractional font metrics, which produces bad antialiasing with reletively new versions of jedit and java;
|
file |
diff |
annotate
|
| Thu, 03 Sep 2009 20:10:23 +0200 |
wenzelm |
sorted;
|
file |
diff |
annotate
|
| Thu, 27 Aug 2009 10:51:09 +0200 |
immler |
added shortcut
|
file |
diff |
annotate
|
| Wed, 08 Jul 2009 15:15:13 +0200 |
immler |
gui element to set current document version
|
file |
diff |
annotate
|
| Fri, 26 Jun 2009 20:54:42 +0200 |
wenzelm |
opt-out obscure encodings;
|
file |
diff |
annotate
|
| Fri, 26 Jun 2009 18:24:03 +0200 |
wenzelm |
renamed UTF-8-isabelle to UTF-8-Isabelle;
|
file |
diff |
annotate
|
| Thu, 25 Jun 2009 23:03:09 +0200 |
wenzelm |
added IsabelleEncoding -- a clone of utf-8 for now;
|
file |
diff |
annotate
|
| Tue, 23 Jun 2009 21:14:54 +0200 |
wenzelm |
default sidekick.complete-delay;
|
file |
diff |
annotate
|
| Mon, 27 Apr 2009 17:33:49 +0200 |
immler |
seperate node for syntax-highlighting
|
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 17:53:00 +0100 |
wenzelm |
tuned sidekick properties;
|
file |
diff |
annotate
|
| Sat, 20 Dec 2008 17:40:30 +0100 |
wenzelm |
default docking of sidekick and isabelle-state;
|
file |
diff |
annotate
|
| Tue, 21 Oct 2008 21:48:44 +0200 |
wenzelm |
essential default properties for jEdit;
|
file |
diff |
annotate
|