From 9ea0f7255f1b6e503bad7b05738e447afb699c38 Mon Sep 17 00:00:00 2001
From: Giovanni Campagna <gcampagna@src.gnome.org>
Date: Mon, 2 Sep 2013 22:33:40 +0200
Subject: [PATCH] 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 8afa98bac..971957321 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 c1e44dc47..bc4afee40 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);