Make heading and dialog fonts smaller on Linux
@@ -367,6 +367,12 @@ class Workbench(tk.Tk):
default_font = tk_font.nametofont("TkDefaultFont")
+ if running_on_linux():
+ heading_font = tk_font.nametofont("TkHeadingFont")
+ heading_font.configure(weight="normal")
+ caption_font = tk_font.nametofont("TkCaptionFont")
+ caption_font.configure(weight="normal", size=default_font.cget("size"))
+
self._fonts = [
tk_font.Font(name="IOFont", family=self.get_option("view.io_font_family")),
tk_font.Font(
