Changes

Summary

tuned whitespace;
more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
tuned signature;
tuned signature;

Changeset 64885:205274ca16ee by wenzelm: tuned whitespace;
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)
Changeset 64884:b2e78c0ce537 by wenzelm: more robust: delay switches thread context from timer to GUI and may get out of sync with revoke operation;
The file was modified	`src/Tools/jEdit/src/rich_text_area.scala` (diff)
The file was modified	`src/Tools/jEdit/src/text_overview.scala` (diff)
Changeset 64883:e89f5ef32aa2 by wenzelm: tuned signature;
The file was modified	`src/Tools/jEdit/src/document_model.scala` (diff)
The file was modified	`src/Tools/jEdit/src/plugin.scala` (diff)
Changeset 64882:c3b42ac0cf81 by wenzelm: tuned signature;
The file was modified	`src/Tools/jEdit/src/active.scala` (diff)
The file was modified	`src/Tools/jEdit/src/completion_popup.scala` (diff)
The file was modified	`src/Tools/jEdit/src/debugger_dockable.scala` (diff)
The file was modified	`src/Tools/jEdit/src/document_view.scala` (diff)
The file was modified	`src/Tools/jEdit/src/isabelle.scala` (diff)
The file was modified	`src/Tools/jEdit/src/jedit_editor.scala` (diff)
The file was modified	`src/Tools/jEdit/src/plugin.scala` (diff)
The file was modified	`src/Tools/jEdit/src/spell_checker.scala` (diff)
The file was modified	`src/Tools/jEdit/src/text_structure.scala` (diff)
The file was modified	`src/Tools/jEdit/src/timing_dockable.scala` (diff)