The unified diff between revisions [242f7e7a..] and [090bacd8..] 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 [71439d68e1176b98dcf968eb0e11cd706c7fd23d]
#    to [744a670f23e96b7cc95638ce3b3eed208a40460d]
#
============================================================
--- view.ml	71439d68e1176b98dcf968eb0e11cd706c7fd23d
+++ view.ml	744a670f23e96b7cc95638ce3b3eed208a40460d
@@ -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 () ;