Index: HTML/Default/html/main.js
===================================================================
--- HTML/Default/html/main.js (revision 14778)
+++ HTML/Default/html/main.js (working copy)
@@ -113,31 +113,33 @@
dimensions['maxHeight'] = body.getHeight() - body.getMargins('tb');
dimensions['maxWidth'] = body.getWidth() - body.getMargins('rl') - (Ext.isIE && !Ext.isIE7 ? body.getMargins('rl') : 0);
- dimensions['colWidth'] = Math.floor((dimensions['maxWidth']
- - Ext.get('mainSpacer').getWidth()) / 2);
-
- dimensions['colHeight'] = dimensions['maxHeight']
- - Ext.get('header').getHeight() - Ext.get('footer').getHeight()
- - Ext.get(Ext.DomQuery.selectNode('#leftpanel div.inner_top')).getHeight()
- - Ext.get(Ext.DomQuery.selectNode('#leftpanel div.inner_bottom')).getHeight() - 2;
-
- right = Ext.get('rightcontent');
- left = Ext.get('leftcontent');
-
- Ext.get('mainbody').setHeight(dimensions['maxHeight']);
-
- el = Ext.get('background');
- el.setWidth(body.getWidth() - (Ext.isIE && !Ext.isIE7 ? body.getMargins('rl') : 0));
- el.setHeight(dimensions['maxHeight']);
-
- // left column
- left.setHeight(dimensions['colHeight']);
- left.setWidth(dimensions['colWidth']);
-
- // right column
- right.setHeight(dimensions['colHeight']);
- Ext.get('playerControlPanel').setWidth(dimensions['colWidth'] - 15);
-
+ // Don't calculate columns if undocked
+ if (Ext.get('ctrlUndock').isVisible()) {
+ dimensions['colWidth'] = Math.floor((dimensions['maxWidth']
+ - Ext.get('mainSpacer').getWidth()) / 2);
+
+ dimensions['colHeight'] = dimensions['maxHeight']
+ - Ext.get('header').getHeight() - Ext.get('footer').getHeight()
+ - Ext.get(Ext.DomQuery.selectNode('#leftpanel div.inner_top')).getHeight()
+ - Ext.get(Ext.DomQuery.selectNode('#leftpanel div.inner_bottom')).getHeight() - 2;
+
+ right = Ext.get('rightcontent');
+ left = Ext.get('leftcontent');
+
+ Ext.get('mainbody').setHeight(dimensions['maxHeight']);
+
+ el = Ext.get('background');
+ el.setWidth(body.getWidth() - (Ext.isIE && !Ext.isIE7 ? body.getMargins('rl') : 0));
+ el.setHeight(dimensions['maxHeight']);
+
+ // left column
+ left.setHeight(dimensions['colHeight']);
+ left.setWidth(dimensions['colWidth']);
+
+ // right column
+ right.setHeight(dimensions['colHeight']);
+ Ext.get('playerControlPanel').setWidth(dimensions['colWidth'] - 15);
+ }
// playlist field
if (pl = Ext.get('playList')) {
dimensions['playlist'] = dimensions['colHeight'];