| #
f2ad1c56 |
|
01-Sep-2017 |
wenzelm <none@none> |
more robust: provide docking framework via base plugin;
--HG--
rename : src/Tools/jEdit/src/dockable.scala => src/Tools/jEdit/src-base/dockable.scala
rename : src/Tools/jEdit/src/pide_docking_framework.scala => src/Tools/jEdit/src-base/pide_docking_framework.scala
|
| #
3891c3e0 |
|
27-Jun-2017 |
wenzelm <none@none> |
clarified defaults;
|
| #
3d4309c0 |
|
27-Jun-2017 |
wenzelm <none@none> |
tuned signature;
|
| #
54744bb4 |
|
15-Apr-2015 |
wenzelm <none@none> |
GUI controls for ML_statistics, for more digestible protocol dump;
|
| #
40e642df |
|
23-Jul-2014 |
wenzelm <none@none> |
clarified module name: facilitate alternative GUI frameworks;
--HG--
rename : src/Pure/GUI/swing_thread.scala => src/Pure/GUI/gui_thread.scala
|
| #
2ccf1463 |
|
24-Apr-2014 |
wenzelm <none@none> |
clarified Session.Consumer, with Session.Outlet managed by dispatcher thread;
eliminated old actors;
|
| #
776f1ee0 |
|
03-Apr-2014 |
wenzelm <none@none> |
slightly more readable protocol trace (NB1: prover input is always marked as <prover_command/>; NB2: adding indentation would invalidate the XML);
|
| #
9ba03690 |
|
03-Apr-2014 |
wenzelm <none@none> |
more general prover operations;
|
| #
ffd59da7 |
|
20-Feb-2014 |
wenzelm <none@none> |
tuned imports;
|
| #
4e5cfda1 |
|
25-Nov-2012 |
wenzelm <none@none> |
renamed main plugin object to PIDE;
|
| #
d0d588a2 |
|
14-Mar-2012 |
wenzelm <none@none> |
prefer asynchronous context switch from actor to swing thread, to reduce danger of deadlocks;
more robust use of Session.Commands_Changed vs. Document_View.visible_range as asynchronous swing task, taking into account that the model might have switched in the meantime (e.g. via fast clicking on hypersearch while the prover is crunching);
|
| #
62551936 |
|
03-Mar-2012 |
wenzelm <none@none> |
clarified terminology of raw protocol messages;
|
| #
ef16d38c |
|
03-Mar-2012 |
wenzelm <none@none> |
tuned signature -- emphasize Isabelle_Process Input vs. Output;
|
| #
e40a1841 |
|
05-Jan-2012 |
wenzelm <none@none> |
tuned signature;
|
| #
39115a2f |
|
09-Jul-2011 |
wenzelm <none@none> |
echo prover input via raw_messages, for improved protocol tracing;
|
| #
80be4c97 |
|
23-Jun-2011 |
wenzelm <none@none> |
explicit import java.lang.System to prevent odd scope problems;
|
| #
3ccda455 |
|
08-Jun-2011 |
wenzelm <none@none> |
moved sources -- eliminated Netbeans artifact of jedit package directory;
--HG--
rename : src/Tools/jEdit/src/jedit/dockable.scala => src/Tools/jEdit/src/dockable.scala
rename : src/Tools/jEdit/src/jedit/document_model.scala => src/Tools/jEdit/src/document_model.scala
rename : src/Tools/jEdit/src/jedit/document_view.scala => src/Tools/jEdit/src/document_view.scala
rename : src/Tools/jEdit/src/jedit/html_panel.scala => src/Tools/jEdit/src/html_panel.scala
rename : src/Tools/jEdit/src/jedit/isabelle_encoding.scala => src/Tools/jEdit/src/isabelle_encoding.scala
rename : src/Tools/jEdit/src/jedit/isabelle_hyperlinks.scala => src/Tools/jEdit/src/isabelle_hyperlinks.scala
rename : src/Tools/jEdit/src/jedit/isabelle_markup.scala => src/Tools/jEdit/src/isabelle_markup.scala
rename : src/Tools/jEdit/src/jedit/isabelle_options.scala => src/Tools/jEdit/src/isabelle_options.scala
rename : src/Tools/jEdit/src/jedit/isabelle_sidekick.scala => src/Tools/jEdit/src/isabelle_sidekick.scala
rename : src/Tools/jEdit/src/jedit/output_dockable.scala => src/Tools/jEdit/src/output_dockable.scala
rename : src/Tools/jEdit/src/jedit/plugin.scala => src/Tools/jEdit/src/plugin.scala
rename : src/Tools/jEdit/src/jedit/protocol_dockable.scala => src/Tools/jEdit/src/protocol_dockable.scala
rename : src/Tools/jEdit/src/jedit/raw_output_dockable.scala => src/Tools/jEdit/src/raw_output_dockable.scala
rename : src/Tools/jEdit/src/jedit/scala_console.scala => src/Tools/jEdit/src/scala_console.scala
rename : src/Tools/jEdit/src/jedit/session_dockable.scala => src/Tools/jEdit/src/session_dockable.scala
|