Re: GUI Editor

Tut mir leid. Am Ende muss es heissen:

 <script type="text/javascript" defer="1">
     var config = new HTMLArea.Config(); // create a new configuration
object having all the default values
     config.width = '400px';
     config.height = '400px';
     HTMLArea.replaceAll(config);
 </script>

Marc