From a2ea607fcd03bf86b6608626e913362d89fca168 Mon Sep 17 00:00:00 2001
From: Kris Maglione <maglione.k@gmail.com>
Date: Wed, 2 Feb 2011 18:11:14 -0500
Subject: [PATCH] Fix unnecessary loading of highlight.jsm whenever a help page
 is loaded.

---
 common/modules/config.jsm | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/common/modules/config.jsm b/common/modules/config.jsm
index 0f9a006a..092e698d 100644
--- a/common/modules/config.jsm
+++ b/common/modules/config.jsm
@@ -169,11 +169,12 @@ var ConfigBase = Class("ConfigBase", {
     ],
 
     styleHelp: function styleHelp() {
-        const { highlight } = require("highlight");
-        if (!this.helpStyled)
+        if (!this.helpStyled) {
+            const { highlight } = require("highlight");
             for (let k in keys(highlight.loaded))
                 if (/^(Help|StatusLine)|^(Boolean|Indicator|MoreMsg|Number|Logo|Key(word)?|String)$/.test(k))
                     highlight.loaded[k] = true;
+        }
         this.helpCSS = true;
     },