| Thu, 29 Aug 2013 05:41:58 +0200 |
blanchet |
more
|
changeset |
files
|
| Thu, 29 Aug 2013 00:18:02 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Wed, 28 Aug 2013 23:48:45 +0200 |
wenzelm |
merged
|
changeset |
files
|
| Wed, 28 Aug 2013 23:41:21 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Wed, 28 Aug 2013 22:50:23 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Wed, 28 Aug 2013 22:25:14 +0200 |
wenzelm |
complete symbols only in backslash forms -- less intrusive editing, greater chance of finding escape sequence in text;
|
changeset |
files
|
| Wed, 28 Aug 2013 19:12:15 +0200 |
wenzelm |
tuned signature -- no need for ooddities;
|
changeset |
files
|
| Wed, 28 Aug 2013 19:08:11 +0200 |
wenzelm |
tuned -- help finding rare NPE on cold start;
|
changeset |
files
|
| Wed, 28 Aug 2013 17:20:16 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Wed, 28 Aug 2013 16:36:46 +0200 |
wenzelm |
uniform use of isabelle.jEdit.Popup, based on generic screen location operations;
|
changeset |
files
|
| Wed, 28 Aug 2013 15:14:58 +0200 |
wenzelm |
more elementary Popup via JLayeredPane -- avoid javax.swing.PopupFactory with its many problems and dangers of accidental HeavyWeightPopup (especially on Mac OS X);
|
changeset |
files
|
| Wed, 28 Aug 2013 10:35:12 +0200 |
wenzelm |
tuned;
|
changeset |
files
|
| Wed, 28 Aug 2013 09:36:05 +0200 |
wenzelm |
dismiss popups more uniformly;
|
changeset |
files
|
| Wed, 28 Aug 2013 09:12:50 +0200 |
wenzelm |
more uniform check (see JEdit_Lib.propagate_key);
|
changeset |
files
|