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

#
#
# patch "ui.ml"
#  from [149a93e54cb48f3458c6c937dc22d024240286e8]
#    to [966f78220372d018943bd4049f8ffc4e910098d0]
#
============================================================
--- ui.ml	149a93e54cb48f3458c6c937dc22d024240286e8
+++ ui.ml	966f78220372d018943bd4049f8ffc4e910098d0
@@ -402,6 +402,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 ;