Tweak the tab labels to add left and right margins

This commit is contained in:
Robert Fewell 2017-07-02 09:48:13 +01:00
parent 6f27ad1ba0
commit 4cd13a0e17

View File

@ -2939,6 +2939,8 @@ gnc_main_window_open_page (GncMainWindow *window,
image = gtk_image_new_from_icon_name (icon, GTK_ICON_SIZE_MENU);
gtk_widget_show (image);
gtk_box_pack_start (GTK_BOX (tab_hbox), image, FALSE, FALSE, 0);
gtk_widget_set_margin_start (GTK_WIDGET(image), 5);
gtk_box_pack_start (GTK_BOX (tab_hbox), label, TRUE, TRUE, 0);
}
else
@ -2989,6 +2991,7 @@ gnc_main_window_open_page (GncMainWindow *window,
G_CALLBACK(gnc_main_window_close_page), page);
gtk_box_pack_start (GTK_BOX (tab_hbox), close_button, FALSE, FALSE, 0);
gtk_widget_set_margin_end (GTK_WIDGET(close_button), 5);
g_object_set_data (G_OBJECT (page), PLUGIN_PAGE_CLOSE_BUTTON, close_button);
}