Small fix to gui.js

This commit is contained in:
George Michael Brower 2011-01-23 17:03:32 -07:00
parent ba1ff6f492
commit bf6d8cb0ac

3
gui.js
View File

@ -36,7 +36,7 @@ var GUI = new function() {
// Do we know how to deal with this data type? // Do we know how to deal with this data type?
if (handler == undefined) { if (handler == undefined) {
error("Cannot create controller for data type \"" + object + "\""); error("Cannot create controller for data type \""+type+"\"");
return; return;
} }
@ -128,6 +128,7 @@ var GUI = new function() {
this.toggle = function() { this.toggle = function() {
if (open) { if (open) {
domElement.style.marginTop = -domElementMarginTop+"px"; domElement.style.marginTop = -domElementMarginTop+"px";
toggleButton.innerHTML = "Show Controls"; toggleButton.innerHTML = "Show Controls";
open = false; open = false;