[gnome-music/wip/playlist-ux-fixes: 1/4] Fix shape and alignment of playlist gear button
- From: Arnel A. Borja <arnelborja src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-music/wip/playlist-ux-fixes: 1/4] Fix shape and alignment of playlist gear button
- Date: Wed, 19 Mar 2014 10:51:49 +0000 (UTC)
commit ba31a9fc552c7d160b62a122c7ac4932209c5488
Author: Arnel A. Borja <kyoushuu yahoo com>
Date: Wed Mar 19 18:02:54 2014 +0800
Fix shape and alignment of playlist gear button
- Change shape of playlist gear button to square
- Change alignment of the menu to end
https://bugzilla.gnome.org/show_bug.cgi?id=724627
data/PlaylistControls.ui | 3 ++-
data/application.css | 4 ----
2 files changed, 2 insertions(+), 5 deletions(-)
---
diff --git a/data/PlaylistControls.ui b/data/PlaylistControls.ui
index a1882f4..eaf64f3 100644
--- a/data/PlaylistControls.ui
+++ b/data/PlaylistControls.ui
@@ -4,6 +4,7 @@
<object class="GtkMenu" id="menu1">
<property name="visible">True</property>
<property name="can_focus">False</property>
+ <property name="halign">end</property>
<child>
<object class="GtkMenuItem" id="menuitem_play">
<property name="visible">True</property>
@@ -74,7 +75,7 @@
<property name="focus_on_click">False</property>
<property name="popup">menu1</property>
<style>
- <class name="circle-button"/>
+ <class name="image-button"/>
</style>
<child>
<object class="GtkImage" id="image1">
diff --git a/data/application.css b/data/application.css
index 2709a2c..df3309e 100644
--- a/data/application.css
+++ b/data/application.css
@@ -152,7 +152,3 @@ GtkTreeView{
font-weight: bold;
color: mix (@theme_fg_color, @theme_bg_color, 0.50);
}
-
-.circle-button {
- border-radius: 50%;
-}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]