unbreak Gtk

mflatt · mflatt · commit 8ea1bf5dd5a6 · 2025-12-04T19:08:47.000Z
diff --git a/gui-lib/mred/private/wx/gtk/platform.rkt b/gui-lib/mred/private/wx/gtk/platform.rkt
@@ -97,4 +97,5 @@
    key-symbol-to-menu-key
    needs-grow-box-spacer?   
    graphical-system-type
-   white-on-black-panel-scheme?))
+   white-on-black-panel-scheme?
+   tab-panel-available?))
