[gnome-shell] dash: Adjust CSS in RTL locales

[Florian Müllner <fmuellner src gnome org>]

commit 526130423147c9349986a82c4b60917d9c67f231
Author: Florian Müllner <fmuellner gnome org>
Date:   Fri Feb 18 23:59:49 2011 +0100

    dash: Adjust CSS in RTL locales
    
    As the dash uses different widths and radii for left and right
    borders, we need to use different CSS when it is positioned at
    the right of the screen.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=642721

 data/theme/gnome-shell.css |    6 ++++++
 js/ui/dash.js              |    5 +++++
 2 files changed, 11 insertions(+), 0 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 2da9cc2..824bda3 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -315,6 +315,12 @@ StTooltip StLabel {
     border-radius: 0px 9px 9px 0px;
 }
 
+#dash:rtl {
+    border-left: 1px;
+    border-right: 0px;
+    border-radius: 9px 0px 0px 9px;
+}
+
 #dash:empty {
     height: 100px;
     width: 60px;
diff --git a/js/ui/dash.js b/js/ui/dash.js
index 6a39edc..e0a48e5 100644
--- a/js/ui/dash.js
+++ b/js/ui/dash.js
@@ -262,6 +262,11 @@ Dash.prototype = {
                                        clip_to_allocation: true });
         this._box._delegate = this;
 
+        // This will eventually be automatic, see
+        // https://bugzilla.gnome.org/show_bug.cgi?id=584662
+        if (St.Widget.get_default_direction () == St.TextDirection.RTL)
+            this._box.add_style_pseudo_class('rtl');
+
         this.actor = new St.Bin({ y_align: St.Align.START, child: this._box });
         this.actor.connect('notify::height', Lang.bind(this,
             function() {