The unified diff between revisions [242f7e7a..] and [090bacd8..] is displayed below. It can also be downloaded as a raw diff.
#
#
# patch "Makefile"
# from [a2dbbaf833566ba9d6ac02937ffd34fdf5372cfb]
# to [a85bfc4e3926532be115ff04e569720f5ae103fd]
#
# patch "autocolor.ml"
# from [9d59f87e56d79aad8c632cff38b12fab557814df]
# to [f65e7ff180df5254be893399fc6f2872e941c8fb]
#
# patch "ui.ml"
# from [dc1213e5a0d7abeadbd2c592f0e0a95d031a9e59]
# to [40c46b362676e4393b6730d7604018994344ebcd]
#
# patch "view.ml"
# from [71439d68e1176b98dcf968eb0e11cd706c7fd23d]
# to [744a670f23e96b7cc95638ce3b3eed208a40460d]
#
============================================================
--- Makefile a2dbbaf833566ba9d6ac02937ffd34fdf5372cfb
+++ Makefile a85bfc4e3926532be115ff04e569720f5ae103fd
@@ -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 MT/revision && echo MT/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 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 () ;