Bug 817705 - [toolbox] Disable Inspect Mode when switching tools in Toolbox. r=jwalker

This commit is contained in:
Paul Rouget 2012-12-11 06:17:00 +01:00
parent d21d6ee3df
commit 460ba24941

View File

@ -139,8 +139,13 @@ Highlighter.prototype = {
this.onToolSelected = function(event, id) {
if (id != "inspector") {
this.chromeWin.clearTimeout(this.pageEventsMuter);
this.detachMouseListeners();
this.hide();
} else {
if (!this.locked) {
this.attachMouseListeners();
}
this.show();
}
}.bind(this);