Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
proper default colors (amending e840461d5370): e.g. relevant for session_graph.pdf;
authorwenzelm
Tue, 22 Jul 2025 11:55:42 +0200
changeset 82893 d6a14ed060fb
parent 82892 45107da819fc
child 82894 a8e47bd31965
proper default colors (amending e840461d5370): e.g. relevant for session_graph.pdf;
src/Pure/GUI/gui.scala file | annotate | diff | comparison | revisions 
--- a/src/Pure/GUI/gui.scala	Mon Jul 21 16:21:37 2025 +0200
+++ b/src/Pure/GUI/gui.scala	Tue Jul 22 11:55:42 2025 +0200
@@ -32,8 +32,8 @@
 
   def is_dark_laf(): Boolean = FlatLaf.isLafDark()
 
-  def default_foreground_color(): Color = if (is_dark_laf()) Color.BLACK else Color.WHITE
-  def default_background_color(): Color = if (is_dark_laf()) Color.WHITE else Color.BLACK
+  def default_foreground_color(): Color = if (is_dark_laf()) Color.WHITE else Color.BLACK
+  def default_background_color(): Color = if (is_dark_laf()) Color.BLACK else Color.WHITE
   def default_intermediate_color(): Color = if (is_dark_laf()) Color.LIGHT_GRAY else Color.GRAY
 
   class Look_And_Feel(laf: LookAndFeel) extends Isabelle_System.Service {
isabelle