rem: if (HTMLArea.checkSupportedBrowser()) { if (typeof config == "undefined") { this.config = new HTMLArea.Config(); } else { this.config = config; } this._htmlArea = null; this._textArea = textarea; this._editMode = "wysiwyg"; this.plugins = {}; this._timerToolbar = null; this._timerUndo = null; this._undoQueue = new Array(this.config.undoSteps); this._undoPos = -1; this._customUndo = true; this._mdoc = document; this.doctype = ''; this.__htmlarea_id_num = __htmlareas.length; __htmlareas[this.__htmlarea_id_num] = this;  this._notifyListeners = { };   var panels = this._panels = { right: { on: true, div:    document.createElement('div'), panels: [ ] }, left: { on: true, div:    document.createElement('div'), panels: [ ] }, top: { on: true, div:    document.createElement('div'), panels: [ ] }, bottom: { on: true, div:    document.createElement('div'), panels: [ ] } };  for(var i in panels) { panels[i].div.className = 'panels ' + i; } } 
add: if (HTMLArea.checkSupportedBrowser()) { if (typeof config == "undefined") { this.config = new HTMLArea.Config(); } else { this.config = config; } this._htmlArea = null; this._textArea = textarea; this._editMode = "wysiwyg"; this.plugins = {}; this._timerToolbar = null; this._timerUndo = null; this._undoQueue = new Array(this.config.undoSteps); this._undoPos = -1; this._customUndo = false; this._mdoc = document; this.doctype = ''; } 
context: function HTMLArea(textarea, config) {  if (HTMLArea.checkSupportedBrowser()) {    if (typeof config == "undefined") {      this.config = new HTMLArea.Config();    } else {      this.config = config;    }    this._htmlArea = null;    this._textArea = textarea;    this._editMode = "wysiwyg";    this.plugins = {};    this._timerToolbar = null;    this._timerUndo = null;    this._undoQueue = new Array(this.config.undoSteps);    this._undoPos = -1;    this._customUndo = true;    this._mdoc = document; // cache the document, we need it in plugins    this.doctype = '';    this.__htmlarea_id_num = __htmlareas.length;    __htmlareas[this.__htmlarea_id_num] = this;    this._notifyListeners = { };    // Panels    var panels = this._panels =    {      right:      {        on: true,        div:    document.createElement('div'),        panels: [ ]      },      left:      {        on: true,        div:    document.createElement('div'),        panels: [ ]      },      top:      {        on: true,        div:    document.createElement('div'),        panels: [ ]      },      bottom:      {        on: true,        div:    document.createElement('div'),        panels: [ ]      }    };    for(var i in panels)    {      panels[i].div.className = 'panels ' + i;    }  }};
meta: 7119	/local1/tlutelli/issta_data/temp/all_js/javascript/2006_temp/2006/7119/4d968a51f578e3361a382d6fa8372e519c47ba55/htmlarea.js/clean/phpgwapi/js/htmlarea/htmlarea.js