From 2e6f11a8a4bac05835a5ae79bbf27844e92eebe0 Mon Sep 17 00:00:00 2001
From: Paul Rouget <paul@mozilla.com>
Date: Mon, 24 Jun 2013 09:24:00 -0400
Subject: [PATCH] Bug 855504 - [font inspector] Selecting text in the font
 inspector is hard. r=vporof

---
 browser/devtools/framework/sidebar.js | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/browser/devtools/framework/sidebar.js b/browser/devtools/framework/sidebar.js
index e312db4512d..af41f4d47ca 100644
--- a/browser/devtools/framework/sidebar.js
+++ b/browser/devtools/framework/sidebar.js
@@ -148,6 +148,11 @@ ToolSidebar.prototype = {
    */
   handleEvent: function ToolSidebar_eventHandler(event) {
     if (event.type == "select") {
+      if (this._currentTool == this.getCurrentTabID()) {
+        // Tool hasn't changed.
+        return;
+      }
+
       let previousTool = this._currentTool;
       this._currentTool = this.getCurrentTabID();
       if (previousTool) {