fix bad gui system

beta.r3js.org
-=yb4f310 2017-12-11 12:41:27 +01:00
parent 31df363c34
commit f48920d08c
3 changed files with 15 additions and 9 deletions

File diff suppressed because one or more lines are too long

View File

@ -1,5 +1,5 @@
// COMPILE TIME DEFINITIONS (Generated via gulp)
var __DATE__ = "Mon Dec 11 2017 12:24:11 GMT+0100 (CET)";
var __DATE__ = "Mon Dec 11 2017 12:41:18 GMT+0100 (CET)";
// END COMPILE TIME DEFINITIONS
/**
@ -27348,8 +27348,11 @@ GameLib.System.GUI.prototype = Object.create(GameLib.System.prototype);
GameLib.System.GUI.prototype.constructor = GameLib.System.GUI;
GameLib.System.GUI.prototype.windowResize = function(data) {
var gui = this.guis[0];
gui.instance.domElement.getElementsByTagName('ul')[0].style.maxHeight = data.height - 93 + 'px';
this.guis.map(
function(gui) {
gui.instance.domElement.getElementsByTagName('ul')[0].style.maxHeight = data.height - 93 + 'px';
}
);
};
GameLib.System.GUI.prototype.initialize = function(gui) {

View File

@ -50,8 +50,11 @@ GameLib.System.GUI.prototype = Object.create(GameLib.System.prototype);
GameLib.System.GUI.prototype.constructor = GameLib.System.GUI;
GameLib.System.GUI.prototype.windowResize = function(data) {
var gui = this.guis[0];
gui.instance.domElement.getElementsByTagName('ul')[0].style.maxHeight = data.height - 93 + 'px';
this.guis.map(
function(gui) {
gui.instance.domElement.getElementsByTagName('ul')[0].style.maxHeight = data.height - 93 + 'px';
}
);
};
GameLib.System.GUI.prototype.initialize = function(gui) {