Adjust default Window dimensions.
authorRichard Jones <rjones@redhat.com>
Tue, 22 Jun 2010 12:37:09 +0000 (08:37 -0400)
committerRichard Jones <rjones@redhat.com>
Tue, 22 Jun 2010 12:37:09 +0000 (08:37 -0400)
window.ml

index a5116fc..10cae04 100644 (file)
--- 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. *)