Add a "header warning" style for warnings in the header

inducer · Sep 30, 2021 · 8826d8b · 8826d8b
1 parent e389d24
commit 8826d8b
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 2 deletions.
diff --git a/pudb/debugger.py b/pudb/debugger.py
@@ -2620,12 +2620,12 @@ def interaction(self, exc_tuple, show_exc_dialog=True):
 
             caption.extend([
                 (None, " "),
-                ("warning", "[POST-MORTEM MODE]")
+                ("header warning", "[POST-MORTEM MODE]")
                 ])
         elif exc_tuple is not None:
             caption.extend([
                 (None, " "),
-                ("warning", "[PROCESSING EXCEPTION - hit 'e' to examine]")
+                ("header warning", "[PROCESSING EXCEPTION - hit 'e' to examine]")
                 ])
 
         self.caption.set_text(caption)

diff --git a/pudb/theme.py b/pudb/theme.py
@@ -107,6 +107,7 @@ def handle_256_colors(self):
     "fixed value": "label",
 
     "warning": "highlighted",
+    "header warning": "warning",
     "search box": "focused input",
     "search not found": "warning",
     # }}}
@@ -362,6 +363,7 @@ def link(child: str, parent: str):
             "input": ("black", "dark cyan"),
             "focused input": ("black", "light cyan"),
             "warning": (add_setting("dark red", "bold"), "white"),
+            "header warning": (add_setting("dark red", "bold"), "light gray"),
             # }}}
             # {{{ source view
             "source": ("black", "white"),
@@ -423,6 +425,7 @@ def link(child: str, parent: str):
             "header": ("dark blue", "light gray"),
             "dialog title": (add_setting("white", "bold"), "black"),
             "warning": (add_setting("light red", "bold"), "black"),
+            "warning": (add_setting("light red", "bold"), "light gray"),
             # }}}
             # {{{ source view
             "source": ("white", "black"),
@@ -475,6 +478,7 @@ def link(child: str, parent: str):
             "focused sidebar": (add_setting("black", "bold"), "light gray"),
             "group head": (add_setting("black", "bold"), "light gray"),
             "warning": (add_setting("light red", "bold"), "black"),
+            "header warning": (add_setting("light red", "bold"), "light gray"),
             "dialog title": ("black", "dark green"),
             "fixed value": ("white", "dark gray"),
             # }}}
@@ -533,6 +537,7 @@ def link(child: str, parent: str):
             # {{{ general ui
             "dialog title": (add_setting("white", "bold"), "dark cyan"),
             "warning": (add_setting("light red", "bold"), "white"),
+            "header warning": (add_setting("light red", "bold"), "light gray"),
             "focused sidebar": ("dark red", "light gray"),
             "group head": (add_setting("yellow", "bold"), "light gray"),
             # }}}