| Fri, 27 Mar 2020 22:01:27 +0100 |
wenzelm |
misc tuning based on hints by IntelliJ IDEA;
|
file |
diff |
annotate
|
| Sat, 07 Mar 2020 12:19:41 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 01 Sep 2017 15:15:29 +0200 |
wenzelm |
more robust: provide docking framework via base plugin;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2017 21:56:56 +0200 |
wenzelm |
clarified defaults;
|
file |
diff |
annotate
|
| Tue, 27 Jun 2017 21:36:58 +0200 |
wenzelm |
tuned signature;
|
file |
diff |
annotate
|
| Tue, 13 Jun 2017 20:16:39 +0200 |
wenzelm |
clarified modules;
|
file |
diff |
annotate
|
| Tue, 14 Mar 2017 21:43:54 +0100 |
wenzelm |
clarified singleton module;
|
file |
diff |
annotate
|
| Fri, 27 Nov 2015 18:47:39 +0100 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Mon, 21 Sep 2015 14:56:10 +0200 |
wenzelm |
tuned;
|
file |
diff |
annotate
|
| Fri, 07 Aug 2015 11:44:11 +0200 |
wenzelm |
maintain history more often;
|
file |
diff |
annotate
|
| Fri, 17 Jul 2015 21:45:15 +0200 |
wenzelm |
more uniform ComponentAdapter;
|
file |
diff |
annotate
|
| Fri, 08 May 2015 16:14:02 +0200 |
wenzelm |
clarified tooltip;
|
file |
diff |
annotate
|
| Sat, 25 Apr 2015 20:49:26 +0200 |
wenzelm |
added checkbox for try0;
|
file |
diff |
annotate
|
| Wed, 23 Jul 2014 11:19:24 +0200 |
wenzelm |
clarified module name: facilitate alternative GUI frameworks;
|
file |
diff |
annotate
|
| Wed, 21 May 2014 16:21:11 +0200 |
wenzelm |
more uniform Font_Info.Zoom_Box;
|
file |
diff |
annotate
|
| Thu, 08 May 2014 21:17:23 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Thu, 08 May 2014 21:14:25 +0200 |
wenzelm |
clarified detach_operation: ignore empty output;
|
file |
diff |
annotate
|
| Fri, 25 Apr 2014 12:51:08 +0200 |
wenzelm |
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
|
file |
diff |
annotate
|
| Tue, 22 Apr 2014 23:49:15 +0200 |
wenzelm |
avoid "Adaptation of argument list by inserting ()" -- deprecated in scala-2.11.0;
|
file |
diff |
annotate
|
| Sat, 19 Apr 2014 20:01:26 +0200 |
wenzelm |
clarified actor plumbing;
|
file |
diff |
annotate
|
| Sat, 19 Apr 2014 19:52:02 +0200 |
wenzelm |
more elementary option sledgehammer_provers, avoiding complications of defaults from ML side (NB: guessing at number of cores does not make sense in PIDE);
|
file |
diff |
annotate
|
| Sat, 19 Apr 2014 19:03:32 +0200 |
wenzelm |
clarified tooltip_lines: HTML.encode already takes care of newline (but not space);
|
file |
diff |
annotate
|
| Sat, 01 Mar 2014 19:39:27 +0100 |
wenzelm |
tuned signature -- separate module Font_Info;
|
file |
diff |
annotate
|
| Thu, 20 Feb 2014 14:36:17 +0100 |
wenzelm |
tuned imports;
|
file |
diff |
annotate
|
| Thu, 21 Nov 2013 21:55:29 +0100 |
wenzelm |
back to Status.FINISHED and immediate remove_overlay (reverting 6e69f9ca8f1c), which is important to avoid restart of print function after edits + re-assignment of located command;
|
file |
diff |
annotate
|
| Wed, 06 Nov 2013 18:04:36 +0100 |
wenzelm |
tuned tooltips;
|
file |
diff |
annotate
|
| Wed, 25 Sep 2013 11:12:59 +0200 |
wenzelm |
explicit Status.REMOVED, which is required e.g. for sledgehammer to retrieve command of sendback exec_id (in contrast to find_theorems, see c2da0d3b974d);
|
file |
diff |
annotate
|
| Tue, 24 Sep 2013 18:42:44 +0200 |
wenzelm |
focus text field, to capture key events even on Mac OS X look-and-feel;
|
file |
diff |
annotate
|
| Sun, 22 Sep 2013 19:50:48 +0200 |
wenzelm |
focus on default component according to jEdit window management;
|
file |
diff |
annotate
|
| Wed, 18 Sep 2013 15:09:15 +0200 |
wenzelm |
improved FlowLayout for wrapping of components over multiple lines;
|
file |
diff |
annotate
|
| Sat, 24 Aug 2013 13:32:51 +0200 |
wenzelm |
more uniform treatment of Swing_Thread context switch: prefer asynchronous Swing_Thread.later from actor;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2013 22:45:48 +0200 |
wenzelm |
prefer system option sledgehammer_timeout, with standard GUI in jEdit Plugin Options;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2013 22:27:41 +0200 |
wenzelm |
more robust startup;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2013 22:15:45 +0200 |
wenzelm |
some protocol to determine provers according to ML;
|
file |
diff |
annotate
|
| Sat, 17 Aug 2013 12:21:25 +0200 |
wenzelm |
eliminated pointless subgoal argument;
|
file |
diff |
annotate
|
| Mon, 12 Aug 2013 11:39:29 +0200 |
wenzelm |
tuned signature -- more abstract PIDE editor operations;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 15:00:29 +0200 |
wenzelm |
tuned GUI;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 13:51:34 +0200 |
wenzelm |
more abstract consume_status operation;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 12:29:15 +0200 |
wenzelm |
more active "provers" field, which increases chances that its history is stored;
|
file |
diff |
annotate
|
| Fri, 09 Aug 2013 11:18:36 +0200 |
wenzelm |
cancel_query via direct access to the exec_id of the running query process;
|
file |
diff |
annotate
|
| Thu, 08 Aug 2013 14:24:21 +0200 |
wenzelm |
dockable window for Sledgehammer, based on asynchronous/parallel query operation;
|
file |
diff |
annotate
|