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 93b0b66cde
commit 82ed536ba8

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);