From 2e0d379eb39ee4ccbfb6928345e10e30bc295e68 Mon Sep 17 00:00:00 2001 From: Richard Jones Date: Tue, 22 Jun 2010 08:37:09 -0400 Subject: [PATCH] Adjust default Window dimensions. --- window.ml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/window.ml b/window.ml index a5116fc..10cae04 100644 --- a/window.ml +++ b/window.ml @@ -40,7 +40,7 @@ type display_state = { let rec open_main_window () = let title = "Guest Filesystem Browser" in - let window = GWindow.window ~width:800 ~height:600 ~title () in + let window = GWindow.window ~width:700 ~height:700 ~title () in let vbox = GPack.vbox ~packing:window#add () in (* Do the menus. *) -- 1.8.3.1