1 |
angelos 14/06/27 16:16:01 |
2 |
|
3 |
Added: gmpc-11.8.16-icons.patch |
4 |
Log: |
5 |
Fix missing playback icons (bug #509798), thanks to Philip L. |
6 |
|
7 |
(Portage version: 2.2.10/cvs/Linux x86_64, signed Manifest commit with key 84F20B43) |
8 |
|
9 |
Revision Changes Path |
10 |
1.1 media-sound/gmpc/files/gmpc-11.8.16-icons.patch |
11 |
|
12 |
file : http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-sound/gmpc/files/gmpc-11.8.16-icons.patch?rev=1.1&view=markup |
13 |
plain: http://sources.gentoo.org/viewvc.cgi/gentoo-x86/media-sound/gmpc/files/gmpc-11.8.16-icons.patch?rev=1.1&content-type=text/plain |
14 |
|
15 |
Index: gmpc-11.8.16-icons.patch |
16 |
=================================================================== |
17 |
diff --git a/glade/playlist3.ui b/glade/playlist3.ui |
18 |
index fedb627..452f3ec 100644 |
19 |
--- a/glade/playlist3.ui |
20 |
+++ b/glade/playlist3.ui |
21 |
@@ -436,16 +436,17 @@ |
22 |
<child> |
23 |
<object class="GtkButton" id="button_previous"> |
24 |
<property name="visible">True</property> |
25 |
+ <property name="use_action_appearance">False</property> |
26 |
<property name="related-action">MPDPrevious</property> |
27 |
<property name="can_focus">True</property> |
28 |
<property name="receives_default">False</property> |
29 |
<property name="relief">none</property> |
30 |
<property name="use_action_appearance">False</property> |
31 |
<child> |
32 |
- <object class="GtkImage" id="image10"> |
33 |
+ <object class="GtkImage" id="button_previous_image"> |
34 |
<property name="visible">True</property> |
35 |
<property name="stock">gtk-media-previous</property> |
36 |
- </object> |
37 |
+ </object> |
38 |
</child> |
39 |
</object> |
40 |
<packing> |
41 |
@@ -455,18 +456,18 @@ |
42 |
</packing> |
43 |
</child> |
44 |
<child> |
45 |
- <object class="GtkButton" id="top_button"> |
46 |
+ <object class="GtkButton" id="stop_button"> |
47 |
<property name="visible">True</property> |
48 |
+ <property name="use_action_appearance">False</property> |
49 |
<property name="related-action">MPDStop</property> |
50 |
<property name="can_focus">True</property> |
51 |
<property name="receives_default">True</property> |
52 |
<property name="relief">none</property> |
53 |
- <property name="use_action_appearance">False</property> |
54 |
<child> |
55 |
- <object class="GtkImage" id="stop_button_image"> |
56 |
+ <object class="GtkImage" id="button_stop_image"> |
57 |
<property name="visible">True</property> |
58 |
<property name="stock">gtk-media-stop</property> |
59 |
- </object> |
60 |
+ </object> |
61 |
</child> |
62 |
</object> |
63 |
<packing> |
64 |
@@ -478,15 +479,16 @@ |
65 |
<child> |
66 |
<object class="GtkButton" id="play_button"> |
67 |
<property name="visible">True</property> |
68 |
+ <property name="use_action_appearance">False</property> |
69 |
<property name="related-action">MPDPlayPause</property> |
70 |
<property name="can_focus">True</property> |
71 |
<property name="receives_default">False</property> |
72 |
<property name="relief">none</property> |
73 |
<child> |
74 |
- <object class="GtkImage" id="play_button_image"> |
75 |
+ <object class="GtkImage" id="play_button_image"> |
76 |
<property name="visible">True</property> |
77 |
<property name="stock">gtk-media-play</property> |
78 |
- </object> |
79 |
+ </object> |
80 |
</child> |
81 |
</object> |
82 |
<packing> |
83 |
@@ -498,13 +500,13 @@ |
84 |
<child> |
85 |
<object class="GtkButton" id="next_button"> |
86 |
<property name="visible">True</property> |
87 |
+ <property name="use_action_appearance">False</property> |
88 |
<property name="related-action">MPDNext</property> |
89 |
<property name="can_focus">True</property> |
90 |
<property name="receives_default">False</property> |
91 |
- <property name="use_action_appearance">False</property> |
92 |
<property name="relief">none</property> |
93 |
<child> |
94 |
- <object class="GtkImage" id="image11"> |
95 |
+ <object class="GtkImage" id="next_button_image"> |
96 |
<property name="visible">True</property> |
97 |
<property name="stock">gtk-media-next</property> |
98 |
</object> |
99 |
diff --git a/src/playlist3.c b/src/playlist3.c |
100 |
index 72b4ef7..3dac409 100644 |
101 |
--- a/src/playlist3.c |
102 |
+++ b/src/playlist3.c |
103 |
@@ -1632,7 +1632,8 @@ static void playlist_status_changed(MpdObj * mi, ChangedStatusType what, void *u |
104 |
gtk_action_set_stock_id(GTK_ACTION(gtk_builder_get_object(pl3_xml, "MPDPlayPause")), "gtk-media-pause"); |
105 |
gtk_image_set_from_stock(GTK_IMAGE |
106 |
(gtk_builder_get_object |
107 |
- (pl3_xml, "play_button_image")), "gtk-media-pause", GTK_ICON_SIZE_BUTTON); |
108 |
+ (pl3_xml, "play_button_image")), "gtk-media-pause", |
109 |
+ GTK_ICON_SIZE_MENU); |
110 |
|
111 |
/** |
112 |
* Update window title |
113 |
@@ -1669,8 +1670,8 @@ static void playlist_status_changed(MpdObj * mi, ChangedStatusType what, void *u |
114 |
gtk_action_set_stock_id(GTK_ACTION(gtk_builder_get_object(pl3_xml, "MPDPlayPause")), "gtk-media-play"); |
115 |
gtk_image_set_from_stock(GTK_IMAGE |
116 |
(gtk_builder_get_object |
117 |
- (pl3_xml, "play_button_image")), "gtk-media-play", GTK_ICON_SIZE_BUTTON); |
118 |
- |
119 |
+ (pl3_xml, "play_button_image")), "gtk-media-play", |
120 |
+ GTK_ICON_SIZE_MENU); |
121 |
/** |
122 |
* Set paused in Window string |
123 |
*/ |
124 |
@@ -1704,8 +1705,8 @@ static void playlist_status_changed(MpdObj * mi, ChangedStatusType what, void *u |
125 |
|
126 |
gtk_image_set_from_stock(GTK_IMAGE |
127 |
(gtk_builder_get_object |
128 |
- (pl3_xml, "play_button_image")), "gtk-media-play", GTK_ICON_SIZE_BUTTON); |
129 |
- |
130 |
+ (pl3_xml, "play_button_image")), "gtk-media-play", |
131 |
+ GTK_ICON_SIZE_MENU); |
132 |
if (gmpc_profiles_get_number_of_profiles(gmpc_profiles) > 1) |
133 |
{ |
134 |
gchar *id = gmpc_profiles_get_current(gmpc_profiles); |
135 |
-- |