| Sat, 05 Jan 2013 22:31:30 +0100 |
blanchet |
nicer output
|
changeset |
files
|
| Sat, 05 Jan 2013 22:31:30 +0100 |
blanchet |
pass option to minimize
|
changeset |
files
|
| Sat, 05 Jan 2013 23:03:07 +0100 |
wenzelm |
prefer apple.laf.useScreenMenuBar=true (despite cf. effcfa38e77b) to make it work better with full-screen mode;
|
changeset |
files
|
| Sat, 05 Jan 2013 22:02:44 +0100 |
wenzelm |
ignore vacuous edits (e.g. stemming from Plugin.init_models) to avoid pointless protocol round-trip, which could lead to painting of outdated snapshot in the meantime (notably on Windows);
|
changeset |
files
|
| Sat, 05 Jan 2013 21:41:19 +0100 |
wenzelm |
tuned JEDIT_JAVA_OPTIONS: increase chances that it works with approx. 8 cores and 32bit platform (notably Windows);
|
changeset |
files
|
| Sat, 05 Jan 2013 20:06:24 +0100 |
wenzelm |
propagate keys to enclosing view like org.gjt.sp.jedit.gui.CompletionPopup, but without its KeyEventInterceptor;
|
changeset |
files
|
| Sat, 05 Jan 2013 19:05:16 +0100 |
wenzelm |
premature window close means failure;
|
changeset |
files
|
| Sat, 05 Jan 2013 18:42:29 +0100 |
wenzelm |
less aggressive Assumption.export_term (similar to Generic_Target.abbrev): merely expand local defs and thus allow notation for local fixes;
|
changeset |
files
|
| Sat, 05 Jan 2013 18:36:02 +0100 |
wenzelm |
proper return code on window close;
|
changeset |
files
|
| Sat, 05 Jan 2013 17:38:54 +0100 |
wenzelm |
more precise Local_Theory.level: 1 really means main target and >= 2 nested context;
|
changeset |
files
|
| Sat, 05 Jan 2013 17:24:27 +0100 |
wenzelm |
more direct property names;
|
changeset |
files
|
| Sat, 05 Jan 2013 16:16:22 +0100 |
wenzelm |
tuned -- less indirection;
|
changeset |
files
|
| Sat, 05 Jan 2013 11:24:09 +0100 |
blanchet |
tuned blacklisting in relevance filter
|
changeset |
files
|
| Fri, 04 Jan 2013 21:56:20 +0100 |
blanchet |
refined class handling, to prevent cycles in fact graph
|
changeset |
files
|
| Fri, 04 Jan 2013 21:56:19 +0100 |
blanchet |
learn from low-level, inside-class facts
|
changeset |
files
|