rem: catch(ex){this.debug("Could not update buttons in taskbar. Exeption: " + ex);}; }; 
add: catch(ex){this.debug("Could not update buttons in taskbar. Exeption: " + ex);} } 
context: qx.Proto._updateButtons = function(selected) {    try{        var botones = this._tBarPanel.getChildren();        for(var btn = 0; btn < botones.length; btn++) {            if(botones[btn] instanceof qx.ui.toolbar.ToolBarCheckBox) {                if(botones[btn].getUserData("winId") != selected.getUserData("winId")) {                    botones[btn].setChecked(false);                }            };        };    }    catch(ex){this.debug("Could not update buttons in taskbar. Exeption: " + ex);};};
meta: 1005	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/1005/5b1a09c4ca80efdfbd41063412dd526cf7e711df/QxTaskBar.js/clean/qooxdoo/source/contributed/taskbar_milea/QxTaskBar.js