1
Description: Patch to set minimum width of Play button
2
This patch sets the minimum width of the Play button a bit higher
3
than its normal width so that when the label of the button changes to
4
Pause, the button size remains constant.
6
Author: Bilal Akhtar <bilalakhtar@ubuntu.com>
7
Bug-Ubuntu: https://edge.launchpad.net/bugs/615248
10
+++ b/shell/rb-shell.c
12
toolbar = gtk_ui_manager_get_widget (shell->priv->ui_manager, "/ToolBar");
13
gtk_box_pack_start (GTK_BOX (hbox), toolbar, TRUE, TRUE, 0);
15
+ GtkWidget* playbutton = gtk_ui_manager_get_widget (shell->priv->ui_manager, "/ToolBar/Play");
16
+ gtk_widget_set_size_request(GTK_WIDGET(playbutton), 80, -1);
18
shell->priv->volume_button = gtk_volume_button_new ();
19
g_signal_connect (shell->priv->volume_button, "value-changed",
20
G_CALLBACK (rb_shell_volume_widget_changed_cb),