keyboard: Don't use set_skip_paint

https://bugzilla.gnome.org/show_bug.cgi?id=693303
This commit is contained in:
Jasper St. Pierre 2013-02-07 03:52:25 -05:00
parent 997f851031
commit c0e5719271

View File

@ -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 = [];