Web UI: Improve usability of small devices

(cherry picked from commit 78bb4104b0)
This commit is contained in:
Christophe Dumez
2011-12-29 00:24:09 +02:00
parent 6f34c81014
commit 83685942de
3 changed files with 3 additions and 2 deletions

View File

@@ -317,7 +317,7 @@ window.addEvent('load', function(){
if($defined(prop_h))
prop_h = prop_h.toInt();
else
prop_h = 200;
prop_h = Window.getSize().y / 2.;
new MochaUI.Panel({
id: 'propertiesPanel',
title: 'Panel',