[gnome-music/wip/playlist-ux-fixes: 1/4] Fix shape and alignment of playlist gear button



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]