[gnome-shell] PageIndicators: extend the clickable area

[Giovanni Campagna <gcampagna src gnome org>]

commit 9ea0f7255f1b6e503bad7b05738e447afb699c38
Author: Giovanni Campagna <gcampagna src gnome org>
Date:   Mon Sep 2 22:33:40 2013 +0200

    PageIndicators: extend the clickable area
    
    Replace the inactive spacing with clickable padding inside the
    buttons, for easier selection with a mouse.
    
    https://bugzilla.gnome.org/show_bug.cgi?id=707314

 data/theme/gnome-shell.css |   13 ++++++-------
 js/ui/appDisplay.js        |    1 +
 2 files changed, 7 insertions(+), 7 deletions(-)
---
diff --git a/data/theme/gnome-shell.css b/data/theme/gnome-shell.css
index 8afa98b..9719573 100644
--- a/data/theme/gnome-shell.css
+++ b/data/theme/gnome-shell.css
@@ -942,21 +942,20 @@ StScrollBar StButton#vhandle:active {
 }
 
 .page-indicator {
+    padding: 15px 30px;
+}
+
+.page-indicator .page-indicator-icon {
     width: 18px;
     height: 18px;
     background-image: url(page-indicator-inactive.svg);
 }
 
-.page-indicator:hover,
-.page-indicator:checked{
+.page-indicator:hover .page-indicator-icon,
+.page-indicator:checked .page-indicator-icon {
     background-image: url(page-indicator-active.svg);
 }
 
-.page-indicators {
-    spacing: 30px;
-    padding: 0px 30px;
-}
-
 .no-frequent-applications-label {
     font-size: 18pt;
     color: #999999;
diff --git a/js/ui/appDisplay.js b/js/ui/appDisplay.js
index c1e44dc..bc4afee 100644
--- a/js/ui/appDisplay.js
+++ b/js/ui/appDisplay.js
@@ -211,6 +211,7 @@ const PageIndicators = new Lang.Class({
                                                              St.ButtonMask.THREE,
                                                 toggle_mode: true,
                                                 checked: pageIndex == this._currentPage });
+                indicator.child = new St.Widget({ style_class: 'page-indicator-icon' });
                 indicator.connect('clicked', Lang.bind(this,
                     function() {
                         this.emit('page-activated', pageIndex);