gnome/extensions/dash-to-dock@micxgx.gmail.com/dash.js
/**
     * Reset the displayed apps icon to mantain the correct order when changing
     * show favorites/show running settings
     */
Reset the displayed apps icon to mantain the correct order when changing
show favorites/show running settings
Reset the displayed apps icon to mantain the correct order when changing show favorites / show running settings
resetAppIcons() {
        let children = this._box.get_children().filter(function(actor) {
            return actor.child &&
                   !!actor.child.icon;
        });
        for (let i = 0; i < children.length; i++) {
            let item = children[i];
            item.destroy();
        }
        this._shownInitially = false;
        this._redisplay();
    }
resetAppIcons ( ) { let children = this . _box . get_children ( ) . filter ( function ( actor ) { return actor . child && ! ! actor . child . icon ; } ) ; for ( let i = 0 ; i < children . length ; i ++ ) { let item = children [ i ] ; item . destroy ( ) ; } this . _shownInitially = false ; this . _redisplay ( ) ; }
Reset the displayed apps icon to mantain the correct order when changing
 show favorites/show running settings
Reset the displayed apps icon to mantain the correct order when changing show favorites / show running settings
// to avoid ugly animations, just suppress them like when dash is first loaded.