Index: Resources/Private/Layouts/popup.html
===================================================================
--- Resources/Private/Layouts/popup.html (revision 3939)
+++ Resources/Private/Layouts/popup.html (working copy)
@@ -10,9 +10,9 @@
// poor way to avoid that we require any scrollbars within the frames
var finalHeight = height * 1.1;
Ext.getCmp('visualPanel').setHeight(finalHeight);
- Ext.getCmp('liveContainer').setHeight((100-Ext.getCmp('sizeSlider').getValue()/100) * finalHeight);
Ext.getCmp('wsContainer').setHeight(finalHeight);
Ext.getCmp('wsPanel').setHeight(finalHeight);
+ Ext.getCmp('liveContainer').setHeight(finalHeight * (100 - Ext.getCmp('sizeSlider').getValue()) / 100);
Ext.getCmp('livePanel').setHeight(finalHeight);
}