Reduce default font size
@@ -414,8 +414,8 @@ class Workbench(tk.Tk):
self.set_default("view.editor_font_size", 12)
self.set_default("view.io_font_size", 12)
else:
- self.set_default("view.editor_font_size", 14)
- self.set_default("view.io_font_size", 12)
+ self.set_default("view.editor_font_size", 13)
+ self.set_default("view.io_font_size", 11)
default_font = tk_font.nametofont("TkDefaultFont")
