interface EditorAppCore : BaseAppCore { /* IID: { 0x9afff72b, 0xca9a, 0x11d2, \ {0x96, 0xc9, 0x0, 0x60, 0xb0, 0xfb, 0x99, 0x56}} */ readonly attribute DOMString contentsAsText; readonly attribute DOMString contentsAsHTML; readonly attribute Document editorDocument; readonly attribute Selection editorSelection; void EditorAppCore(); void setEditorType(in DOMString editorType); void setTextProperty(in DOMString prop, in DOMString attr, in DOMString value); void removeTextProperty(in DOMString prop, in DOMString attr); void getTextProperty(in DOMString prop, in DOMString attr, in DOMString value, out DOMString firstHas, out DOMString anyHas, out DOMString allHas); void undo(); void redo(); void cut(); void copy(); void paste(); void selectAll(); void find(in DOMString searchTerm, in boolean matchCase, in boolean searchDown); void beginBatchChanges(); void endBatchChanges(); void showClipboard(); void insertText(in DOMString textToInsert); void insertLink(); void insertImage(); Element getSelectedElement(in DOMString tagName); Element createElementWithDefaults(in DOMString tagName); Element insertElement(in Element element, in boolean deleteSelection); void exit(); void setToolbarWindow(in Window win); void setContentWindow(in Window win); void setWebShellWindow(in Window win); };