From c0e57192713098a9578574fa8160d2bd3a793a6e Mon Sep 17 00:00:00 2001 From: "Jasper St. Pierre" Date: Thu, 7 Feb 2013 03:52:25 -0500 Subject: [PATCH] keyboard: Don't use set_skip_paint https://bugzilla.gnome.org/show_bug.cgi?id=693303 --- js/ui/status/keyboard.js | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/js/ui/status/keyboard.js b/js/ui/status/keyboard.js index 8295c1a65..3a9fc1c05 100644 --- a/js/ui/status/keyboard.js +++ b/js/ui/status/keyboard.js @@ -429,11 +429,11 @@ const InputSourceIndicator = new Lang.Class({ if (oldSource) { oldSource.menuItem.setShowDot(false); - this._container.set_skip_paint(oldSource.indicatorLabel, true); + oldSource.indicatorLabel.hide(); } newSource.menuItem.setShowDot(true); - this._container.set_skip_paint(newSource.indicatorLabel, false); + newSource.indicatorLabel.show(); this._buildPropSection(newSource.properties); @@ -510,8 +510,8 @@ const InputSourceIndicator = new Lang.Class({ this.menu.addMenuItem(is.menuItem, menuIndex++); + is.indicatorLabel.hide(); this._container.add_actor(is.indicatorLabel); - this._container.set_skip_paint(is.indicatorLabel, true); } let sourcesList = [];