Update taskbar display when favorites toggled

This commit is contained in:
jderose9
2017-07-04 11:01:55 -04:00
parent df91de59bb
commit d55d491c14
2 changed files with 3 additions and 0 deletions

View File

@@ -100,5 +100,6 @@ Thanks to the following people for contributing via pull requests:
- @franglais125 for launching apps by number (w/ overlay), bug fixes, and issue support
- @dziku1337 for peek mode in window previews
- @robrobinbin for configuring appMenu on/off in the panel
- @MartinPL for toggling favorites on/off in panel
- Bug Fixes: @imrvelj, @Teslator, @bil-elmoussaoui, @brandon-schumann
- Translations: @frnogueira (pt_BR), @zeten30 (cs_CZ), @franglais125 (es), @LaurentTreguier / @SolarLiner (fr), @elsieholmes (uk), @hosiet (zh\_CN), @jonnius (de), @urbalazs (hu), @crayxt (kk), @pkomur (pl)

View File

@@ -307,6 +307,8 @@ const taskbar = new Lang.Class({
}));
this._dtpSettings.connect('changed::dot-size', Lang.bind(this, this._redisplay));
this._dtpSettings.connect('changed::show-favorites', Lang.bind(this, this._redisplay));
},
_onScrollEvent: function(actor, event) {