The unified diff between revisions [594720f0..] and [d6816374..] is displayed below. It can also be downloaded as a raw diff.

This diff has been restricted to the following files: 'view.ml'

#
#
# patch "view.ml"
#  from [480559485398180fae369859edfe5b13aacb12e1]
#    to [780483c73a08e33eeb652f6c4c48620aee6b631c]
#
============================================================
--- view.ml	480559485398180fae369859edfe5b13aacb12e1
+++ view.ml	780483c73a08e33eeb652f6c4c48620aee6b631c
@@ -964,7 +964,7 @@ module Canvas = struct
     }

   let make ~aa ~packing =
-    let sw = GBin.scrolled_window ~width:1024 ~height:400 ~packing () in
+    let sw = GBin.scrolled_window ~width:1200 ~height:500 ~packing () in
     let canvas = GnoCanvas.canvas ~aa ~packing:sw#add () in
     let selection_rect = GnoCanvas.rect ~fill_color:"tomato" canvas#root in
     selection_rect#hide () ;