Skip to content
[Jenkins]Jenkins
log in
Success

Changes

Summary

  1. discontinue i21of4 (old Apple hardware);
  2. avoid deprecated operation;
  3. tuned;
  4. support for jEdit font substitution;
  5. more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java); more direct TextAttribute.RUN_DIRECTION_LTR (see also ce22e5c3d4ce);
  6. updated to flatlaf-1.2;
  7. proper directories after reinstallation of lxbroy10;
  8. more visual emphasis on node status;
Changeset 73879:0db0cd462163 by wenzelm:
discontinue i21of4 (old Apple hardware);
The file was modified src/Pure/Admin/isabelle_cronjob.scala (diff)
Changeset 73878:291597140695 by wenzelm:
avoid deprecated operation;
The file was modified src/Pure/GUI/gui.scala (diff)
Changeset 73877:d9ebbfe099a8 by wenzelm:
tuned;
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 73876:e6c9c1c3f580 by wenzelm:
support for jEdit font substitution;
The file was modified NEWS (diff)
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 73875:6e43936f2111 by wenzelm:
more ambitious use of AttributedString (despite be825a69fc67, which was for much older Java);<br>more direct TextAttribute.RUN_DIRECTION_LTR (see also ce22e5c3d4ce);
The file was modified src/Tools/jEdit/src/rich_text_area.scala (diff)
Changeset 73874:7730b882f14a by wenzelm:
updated to flatlaf-1.2;
The file was modified Admin/components/components.sha1 (diff)
The file was modified Admin/components/main (diff)
Changeset 73873:2d42e52152b1 by wenzelm:
proper directories after reinstallation of lxbroy10;
The file was modified Admin/etc/options (diff)
Changeset 73872:ced6e3c03425 by wenzelm:
more visual emphasis on node status;
The file was modified src/Tools/jEdit/etc/options (diff)
The file was modified src/Tools/jEdit/src/theories_dockable.scala (diff)