The unified diff between revisions [670626de..] and [aaae92d1..] 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 [aef3e25bf8bb163d45dbd5bd8ddeef96950664ed]
#    to [1e5e6a1a88d2bdc2627821f1e770b5aa4c3c86b3]
#
============================================================
--- view.ml	aef3e25bf8bb163d45dbd5bd8ddeef96950664ed
+++ view.ml	1e5e6a1a88d2bdc2627821f1e770b5aa4c3c86b3
@@ -929,7 +929,7 @@ module Canvas = struct
     }

   let make ~aa ~packing =
-    let sw = GBin.scrolled_window ~width:700 ~height:400 ~packing () in
+    let sw = GBin.scrolled_window ~width:1024 ~height:400 ~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 () ;