Branch: refs/heads/master Author: Matthew Brush matt@geany.org Committer: Matthew Brush matt@geany.org Date: Sun, 26 May 2013 00:02:49 UTC Commit: 44fcdf1b7ccb76de124253b8f77d3a5f0f4206e4 https://github.com/geany/geany/commit/44fcdf1b7ccb76de124253b8f77d3a5f0f4206...
Log Message: ----------- Minor tweak to plugin manager button spacing
Modified Paths: -------------- src/plugins.c
Modified: src/plugins.c 5 files changed, 3 insertions(+), 2 deletions(-) =================================================================== @@ -1477,9 +1477,10 @@ static void pm_show_dialog(GtkMenuItem *menuitem, gpointer user_data) gtk_scrolled_window_add_with_viewport(GTK_SCROLLED_WINDOW(desc_win), table);
hbox = gtk_hbox_new(FALSE, 0); + gtk_box_set_spacing(GTK_BOX(hbox), 6); gtk_box_pack_start(GTK_BOX(hbox), label2, TRUE, TRUE, 0); - gtk_box_pack_start(GTK_BOX(hbox), pm_widgets.help_button, FALSE, FALSE, 4); - gtk_box_pack_start(GTK_BOX(hbox), pm_widgets.configure_button, FALSE, FALSE, 4); + gtk_box_pack_start(GTK_BOX(hbox), pm_widgets.help_button, FALSE, FALSE, 0); + gtk_box_pack_start(GTK_BOX(hbox), pm_widgets.configure_button, FALSE, FALSE, 0); gtk_box_pack_start(GTK_BOX(hbox), pm_widgets.keybindings_button, FALSE, FALSE, 0);
label_vbox = gtk_vbox_new(FALSE, 3);
-------------- This E-Mail was brought to you by github_commit_mail.py (Source: https://github.com/geany/infrastructure).