Fix options dialog Notebook issue again

aeknow · Jul 6, 2023 · 53724d4 · 53724d4
1 parent 4ff1423
commit 53724d4
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/thonny/config_ui.py b/thonny/config_ui.py
@@ -1,3 +1,4 @@
+import sys
 import tkinter as tk
 from logging import getLogger
 from tkinter import ttk
@@ -38,7 +39,7 @@ def __init__(self, master, page_records_with_order):
             pady=(self.get_medium_padding(), 0),
         )
         self._notebook.enable_traversal()
-        if get_workbench().is_using_aqua_based_theme():
+        if sys.platform == "darwin":
             # otherwise the new page content won't load immediately
             self._notebook.bind("<<NotebookTabChanged>>", lambda e: self.update_idletasks(), True)