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'];