Merge pull request #1018 from tleedjarv/gui-fixups

Another small visual fix (GUI)
bcpierce00 · Apr 22, 2024 · 3af5023 · 3af5023
2 parents a6b7aa9 + 8256275
commit 3af5023
Showing 1 changed file with 4 additions and 0 deletions.
diff --git a/src/uigtk3.ml b/src/uigtk3.ml
@@ -2889,6 +2889,10 @@ let createToplevelWindow () =
          the user's.gtkrc, not programmatically *)
       ~orientation:`HORIZONTAL (* ~space_size:10 *)
       ~packing:(toplevelVBox#pack ~expand:false) () in
+  (* [show_arrow] is initially false to produce a better default width. *)
+  actionBar#set_show_arrow false;
+  ignore (toplevelWindow#misc#connect#show
+    ~callback:(fun () -> actionBar#set_show_arrow true));
 
   (*********************************************************************
     Create the main window