# HG changeset patch
# User wenzelm
# Date 1753178142 -7200
# Node ID d6a14ed060fb1cea7c7e52cfc0ea4ea202aad4c1
# Parent  45107da819fc4e53a3c69c215c44a1ef3105491f
proper default colors (amending e840461d5370): e.g. relevant for session_graph.pdf;

diff -r 45107da819fc -r d6a14ed060fb src/Pure/GUI/gui.scala
--- 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 {