Don't update splitter width, if window was minimized

Infocatcher · Jan 30, 2014 · 99ce037 · 99ce037
1 parent 70a14ee
commit 99ce037
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/chrome/content/sidebarslist.js b/chrome/content/sidebarslist.js
@@ -579,6 +579,8 @@ window.sidebarsList = { // var sidebarsList = ... can't be deleted!
 	maxSplitterWidth: 128,
 	setSplitterWidth: function() {
 		var state = this._lastWindowState = this.windowState;
+		if(state == window.STATE_MINIMIZED)
+			return;
 		var prefName = "splitterWidth";
 		if(state == window.STATE_MAXIMIZED)
 			prefName += "MaximizedWindow";