Notice: this Wiki will be going read only early in 2024 and edits will no longer be possible. Please see: https://gitlab.eclipse.org/eclipsefdn/helpdesk/-/wikis/Wiki-shutdown-plan for the plan.
Difference between revisions of "Eclipse Monkey/Javascript Editor"
m (fix project termination link) |
|||
| Line 1: | Line 1: | ||
| − | <div style="border: thin solid orange; width: 60%">The Eclipse Monkey component of the Dash Project has been archived [http://www.eclipse.org/project-slides/2008.08.13%20Monkey%20Termination%20Review.pdf]. <br> | + | <div style="border: thin solid orange; width: 60%">The Eclipse Monkey component of the Dash Project has been archived [http://www.eclipse.org/project-slides/2008.08.13%20Monkey%20Termination%20Review.pdf]. Source is here: [http://archive.eclipse.org/technology/archives/dash-archive.tar.gz dash-archive.tar.gz].<br> This page is no longer actively maintained.</div> |
| + | |||
This page covers the org.eclipse.eclipsemonkey.lang.javascript.doms.editors.Editor class, which is what you get from this line: | This page covers the org.eclipse.eclipsemonkey.lang.javascript.doms.editors.Editor class, which is what you get from this line: | ||
Revision as of 23:53, 13 May 2009
The Eclipse Monkey component of the Dash Project has been archived [1]. Source is here: dash-archive.tar.gz.
This page is no longer actively maintained.
This page is no longer actively maintained.
This page covers the org.eclipse.eclipsemonkey.lang.javascript.doms.editors.Editor class, which is what you get from this line:
- var sourceEditor = editors.activeEditor;
This documentation was written for version ???
Properties:
Read-only:
- id: ?
- lineDelimiter: the correct End of Line characters for the current file?
- source: the current contents of the editor, as a Java String.
- sourceLength: the length of the current contents of the editor.
- selectionRange: the range of text that is currently selected in the editor. It contains two integers, startingOffset and endingOffset. These may be used to find the selected text within the source property. If nothing is selected endingOffset == startingOffset.
- title: ?
- textEditor: ?
Read/write:
- currentOffset: ?
Functions:
- applyEdit(int offset, int deleteLength, String insertText): Used to insert and/or delete text.
offsetis a position within the source property.deleteLengthis the length of the existing text to remove; use 0 to not delete anything.insertTextis text to insert at offset; use "" to not insert anything. - beginCompoundChange(): ?
- close(boolean save): close the current editor, saving its contents if save == true?
- endCompoundChange(): ?
- getLineAtOffset(int offset): returns the number of the line that contains
offset. - getOffsetAtLine(final int line): returns the offset of the first character in line
line. - save(): saves the current contents of the editor?
- selectAndReveal(final int offset, final int length): selects the text starting at
offsetand ending at(offset + length). Will scroll the text as needed to make the selection visible on screen.lengthmay be 0 to force a line to be visible without selecting anything. - toString(): returns "[object Editor]"