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: 'ui.ml'

#
#
# patch "ui.ml"
#  from [dc1213e5a0d7abeadbd2c592f0e0a95d031a9e59]
#    to [40c46b362676e4393b6730d7604018994344ebcd]
#
============================================================
--- 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 ;