| Wed, 28 Aug 2013 09:12:50 +0200 |
wenzelm |
more uniform check (see JEdit_Lib.propagate_key);
|
changeset |
files
|
| Wed, 28 Aug 2013 09:08:36 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Wed, 28 Aug 2013 00:18:50 +0200 |
wenzelm |
more symbols;
|
changeset |
files
|
| Tue, 27 Aug 2013 23:54:23 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Tue, 27 Aug 2013 23:21:12 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Tue, 27 Aug 2013 22:40:39 +0200 |
wenzelm |
tuned proofs;
|
changeset |
files
|
| Tue, 27 Aug 2013 22:23:40 +0200 |
wenzelm |
enable jEdit KeyEventWorkaround uniformly;
|
changeset |
files
|
| Tue, 27 Aug 2013 22:20:11 +0200 |
wenzelm |
de-register completion first, which is important to make new popup reliably;
|
changeset |
files
|
| Tue, 27 Aug 2013 22:00:35 +0200 |
wenzelm |
register single instance within root, in order to get rid of old popup as user continues typing;
|
changeset |
files
|
| Tue, 27 Aug 2013 20:58:53 +0200 |
wenzelm |
more careful refocus operation: do not reset focus if it was already lost (relevant when activating a different GUI component, for example);
|
changeset |
files
|
| Tue, 27 Aug 2013 20:45:02 +0200 |
wenzelm |
some actual completion via outer syntax;
|
changeset |
files
|
| Tue, 27 Aug 2013 17:17:20 +0200 |
wenzelm |
tuned signature;
|
changeset |
files
|
| Tue, 27 Aug 2013 16:45:32 +0200 |
wenzelm |
avoid complication and event duplication due to KeyEventInterceptor -- NB: popup has focus within root window, it is closed on loss of focus;
|
changeset |
files
|
| Tue, 27 Aug 2013 16:09:28 +0200 |
wenzelm |
determine completion geometry like tooltip;
|
changeset |
files
|
| Tue, 27 Aug 2013 15:35:51 +0200 |
wenzelm |
explicit "hidden" operation with focus management;
|
changeset |
files
|
| Tue, 27 Aug 2013 14:56:11 +0200 |
wenzelm |
some key event handling in the manner of SideKickBindings, SideKickCompletionPopup;
|
changeset |
files
|
| Tue, 27 Aug 2013 13:07:31 +0200 |
wenzelm |
more standard key handling according to jEdit (with workaround);
|
changeset |
files
|
| Tue, 27 Aug 2013 12:35:32 +0200 |
wenzelm |
more systematic JEdit_Lib.key_listener with optional KeyEventWorkaround;
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
got rid of old error -- users who install SPASS manually are responsible for any version mismatches
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
tuned messages
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
natural component order
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
better error message
|
changeset |
files
|
| Wed, 28 Aug 2013 18:44:50 +0200 |
blanchet |
tuning
|
changeset |
files
|
| Wed, 28 Aug 2013 17:11:28 +0200 |
nipkow |
tuned
|
changeset |
files
|
| Wed, 28 Aug 2013 14:37:35 +0200 |
kuncar |
use only one data slot; rename print_quotmaps to print_quot_maps; tuned
|
changeset |
files
|
| Wed, 28 Aug 2013 11:15:14 +0200 |
nipkow |
merged
|
changeset |
files
|
| Wed, 28 Aug 2013 08:56:57 +0200 |
nipkow |
added rtrancl_while
|
changeset |
files
|
| Tue, 27 Aug 2013 16:06:27 +0200 |
hoelzl |
renamed inner_dense_linorder to dense_linorder
|
changeset |
files
|