Changes

Changes from Mercurial (hg http://isabelle.in.tum.de/repos/isabelle/ default)

Summary

  1. clarified signature: proper scopes and types;
  2. maintain global state of document editor views, notably for is_active operation;
  3. tuned signature;
  4. tuned whitespace;
Changeset 76610:6e2383488a55 by wenzelm:
clarified signature: proper scopes and types;
The file was modifiedsrc/Pure/PIDE/document_editor.scala
The file was modifiedsrc/Pure/PIDE/session.scala
The file was modifiedsrc/Tools/jEdit/src/debugger_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/document_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/document_model.scala
The file was modifiedsrc/Tools/jEdit/src/document_view.scala
The file was modifiedsrc/Tools/jEdit/src/font_info.scala
The file was modifiedsrc/Tools/jEdit/src/info_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/jedit_editor.scala
The file was modifiedsrc/Tools/jEdit/src/main_plugin.scala
The file was modifiedsrc/Tools/jEdit/src/monitor_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/output_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/pretty_text_area.scala
The file was modifiedsrc/Tools/jEdit/src/pretty_tooltip.scala
The file was modifiedsrc/Tools/jEdit/src/query_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/simplifier_trace_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/simplifier_trace_window.scala
The file was modifiedsrc/Tools/jEdit/src/sledgehammer_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/state_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/symbols_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/syslog_dockable.scala
The file was modifiedsrc/Tools/jEdit/src/text_overview.scala
Changeset 76609:cc9ddf373bd2 by wenzelm:
maintain global state of document editor views, notably for is_active operation;
The file was modifiedsrc/Pure/PIDE/document_editor.scala
The file was modifiedsrc/Pure/PIDE/editor.scala
The file was modifiedsrc/Tools/jEdit/src/document_dockable.scala
Changeset 76608:16f049023619 by wenzelm:
tuned signature;
The file was modifiedsrc/Tools/jEdit/src/theories_status.scala
Changeset 76607:1a56906176fb by wenzelm:
tuned whitespace;
The file was modifiedsrc/Tools/jEdit/src/document_model.scala