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

#
#
# patch "Makefile"
#  from [09914e7271530740f1aa3a427bf03e2bb3821ac5]
#    to [a7f1fb3490556478b74e1f30a41ffb28e7293402]
#
# patch "autocolor.ml"
#  from [9d59f87e56d79aad8c632cff38b12fab557814df]
#    to [f65e7ff180df5254be893399fc6f2872e941c8fb]
#
# patch "ui.ml"
#  from [dc1213e5a0d7abeadbd2c592f0e0a95d031a9e59]
#    to [40c46b362676e4393b6730d7604018994344ebcd]
#
# patch "view.ml"
#  from [237a7e9ab6a4f75b42f7c1237f6cb8aad39d6aea]
#    to [6f040cce567783b41885eeba11efe0f3f68616f6]
#
============================================================
--- Makefile	09914e7271530740f1aa3a427bf03e2bb3821ac5
+++ Makefile	a7f1fb3490556478b74e1f30a41ffb28e7293402
@@ -99,7 +99,7 @@ gnomecanvas_hack.o       : CINCDIRS = -c
 endif
 crypto/ocaml-openssl.o   : CINCDIRS = -ccopt "$(CRYPTO_CFLAGS)"
 gnomecanvas_hack.o       : CINCDIRS = -ccopt "$(GNOMECANVAS_CFLAGS)"
-$(EXTLIB)/unzip.%        : MLFLAGS += -w y
+#$(EXTLIB)/unzip.%        : MLFLAGS += -w y

 REVISION_FILE := $(shell test -r _MTN/revision && echo _MTN/revision)
 REVISION_ID    = $(if $(REVISION_FILE),$(shell cat $(REVISION_FILE)))
============================================================
--- autocolor.ml	9d59f87e56d79aad8c632cff38b12fab557814df
+++ autocolor.ml	f65e7ff180df5254be893399fc6f2872e941c8fb
@@ -31,11 +31,11 @@ let autocolor_hash s =
   let hash = Crypto.sha1 s in
   let f_of_hash p = float (Char.code hash.[p]) /. 256. in
   (* take 8 bits for hue *)
-  let hue = f_of_hash 0 in
+  let hue = f_of_hash 5 in
   (* take 8 bits for lightness  and map to [75% .. 90%] *)
-  let li  = f_of_hash 1 *. 0.15 +. 0.75 in
+  let li  = f_of_hash 1 *. 0.15 +. 0.55 in
   (* take 8 bits for saturation and map to [50% .. 80%]*)
-  let sat = f_of_hash 2 *. 0.3 +. 0.5 in
+  let sat = f_of_hash 2 *. 0.5 +. 0.5 in
   let (r, g, b) as triplet = hls_to_rgb hue li sat in
   if Viz_misc.debug "color"
   then
============================================================
--- ui.ml	dc1213e5a0d7abeadbd2c592f0e0a95d031a9e59
+++ ui.ml	40c46b362676e4393b6730d7604018994344ebcd
@@ -451,6 +451,9 @@ let make () =
   m#insert_action_group g_popup 3 ;
   m#insert_action_group g_view  4 ;
   ignore (m#add_ui_from_string ui_info) ;
+  let tb = new GButton.toolbar (GtkButton.Toolbar.cast (get_obj m "/toolbar")) in
+  tb#set_style `ICONS ;
+  tb#set_icon_size `SMALL_TOOLBAR ;
   let menubar = m#get_widget "/menubar" in
   let toolbar = m#get_widget "/toolbar" in
   { manager = m ;
============================================================
--- view.ml	237a7e9ab6a4f75b42f7c1237f6cb8aad39d6aea
+++ view.ml	6f040cce567783b41885eeba11efe0f3f68616f6
@@ -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 () ;