Changes

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

Summary

clarified signature: proper scopes and types;
maintain global state of document editor views, notably for is_active operation;
tuned signature;
tuned whitespace;

Changeset 76610:6e2383488a55 by wenzelm: clarified signature: proper scopes and types;
The file was modified	`src/Pure/PIDE/document_editor.scala`
The file was modified	`src/Pure/PIDE/session.scala`
The file was modified	`src/Tools/jEdit/src/debugger_dockable.scala`
The file was modified	`src/Tools/jEdit/src/document_dockable.scala`
The file was modified	`src/Tools/jEdit/src/document_model.scala`
The file was modified	`src/Tools/jEdit/src/document_view.scala`
The file was modified	`src/Tools/jEdit/src/font_info.scala`
The file was modified	`src/Tools/jEdit/src/info_dockable.scala`
The file was modified	`src/Tools/jEdit/src/jedit_editor.scala`
The file was modified	`src/Tools/jEdit/src/main_plugin.scala`
The file was modified	`src/Tools/jEdit/src/monitor_dockable.scala`
The file was modified	`src/Tools/jEdit/src/output_dockable.scala`
The file was modified	`src/Tools/jEdit/src/pretty_text_area.scala`
The file was modified	`src/Tools/jEdit/src/pretty_tooltip.scala`
The file was modified	`src/Tools/jEdit/src/query_dockable.scala`
The file was modified	`src/Tools/jEdit/src/simplifier_trace_dockable.scala`
The file was modified	`src/Tools/jEdit/src/simplifier_trace_window.scala`
The file was modified	`src/Tools/jEdit/src/sledgehammer_dockable.scala`
The file was modified	`src/Tools/jEdit/src/state_dockable.scala`
The file was modified	`src/Tools/jEdit/src/symbols_dockable.scala`
The file was modified	`src/Tools/jEdit/src/syslog_dockable.scala`
The file was modified	`src/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 modified	`src/Pure/PIDE/document_editor.scala`
The file was modified	`src/Pure/PIDE/editor.scala`
The file was modified	`src/Tools/jEdit/src/document_dockable.scala`
Changeset 76608:16f049023619 by wenzelm: tuned signature;
The file was modified	`src/Tools/jEdit/src/theories_status.scala`
Changeset 76607:1a56906176fb by wenzelm: tuned whitespace;
The file was modified	`src/Tools/jEdit/src/document_model.scala`