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
This commit is contained in:
Giovanni Campagna
2013-09-02 22:33:40 +02:00
parent 938628a05f
commit 9ea0f7255f
2 changed files with 7 additions and 7 deletions

View File

@ -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);