diff options
Diffstat (limited to 'common/content/commandline.js')
| -rw-r--r-- | common/content/commandline.js | 10 |
1 files changed, 0 insertions, 10 deletions
diff --git a/common/content/commandline.js b/common/content/commandline.js index de8d9c3c..59197c39 100644 --- a/common/content/commandline.js +++ b/common/content/commandline.js @@ -263,16 +263,6 @@ var CommandWidgets = Class("CommandWidgets", { } [this.commandbar.container, this.statusbar.container].forEach(check); - // Work around a redrawing bug. - if (changed && config.haveGecko("16", "20")) { - util.delay(function () { - // Urgh. - statusline.statusBar.style.paddingRight = "1px"; - DOM(statusline.statusBar).rect; // Force reflow. - statusline.statusBar.style.paddingRight = ""; - }, 0); - } - if (this.initialized && loaded.mow && mow.visible) mow.resize(false); }, |