Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. alternative shortcut, notably for macOS;
  2. action isabelle.toggle-full-screen;
  3. some attempts at multi-platform full-screen mode;
  4. more operations;
  5. clarified HTML presentation elements;
  6. more robust bootstrap: Isabelle-jEdit.shasum could be absent;
Changeset 73040:382309d4b4dc by wenzelm:
alternative shortcut, notably for macOS;
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 73039:4b1cfbf96e36 by wenzelm:
action isabelle.toggle-full-screen;
The file was modified src/Tools/jEdit/src/actions.xml (diff)
The file was modified src/Tools/jEdit/src/isabelle.scala (diff)
The file was modified src/Tools/jEdit/src/jEdit.props (diff)
Changeset 73038:3b14f7315dd2 by wenzelm:
some attempts at multi-platform full-screen mode;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 73037:473509b160d9 by wenzelm:
more operations;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 73036:b028e8d22d8d by wenzelm:
clarified HTML presentation elements;
The file was modified src/Pure/Thy/presentation.scala (diff)
The file was modified src/Pure/Tools/build.scala (diff)
The file was modified src/Tools/VSCode/src/preview_panel.scala (diff)
The file was modified src/Tools/jEdit/src/document_model.scala (diff)
Changeset 73035:03e78b35ebbc by wenzelm:
more robust bootstrap: Isabelle-jEdit.shasum could be absent;
The file was modified src/Pure/Tools/scala_project.scala (diff)