nl.cwi.sen1.gui.plugin
Interface EditorPluginTif
- All Known Implementing Classes:
- EditorPlugin, EditorPluginBridge, EditorPluginTool
public interface EditorPluginTif
Method Summary |
void |
addActions(aterm.ATerm t0,
aterm.ATerm t1)
|
void |
clearFocus(aterm.ATerm t0)
|
void |
displayMessage(aterm.ATerm t0,
java.lang.String s1)
|
void |
editFile(aterm.ATerm t0,
java.lang.String s1)
|
void |
editorToFront(aterm.ATerm t0)
|
void |
getContents(aterm.ATerm t0)
|
void |
highlightSlices(aterm.ATerm t0,
aterm.ATerm t1)
|
void |
isModified(aterm.ATerm t0)
|
void |
killEditor(aterm.ATerm t0)
|
void |
recAckEvent(aterm.ATerm t0)
|
void |
recTerminate(aterm.ATerm t0)
|
void |
registerTextCategories(aterm.ATerm t0,
aterm.ATerm t1)
|
void |
rereadContents(aterm.ATerm t0)
|
void |
setContents(aterm.ATerm t0,
java.lang.String s1)
|
void |
setCursorAtOffset(aterm.ATerm t0,
int i1)
|
void |
setEditable(aterm.ATerm t0,
aterm.ATerm t1)
|
void |
setFocus(aterm.ATerm t0,
aterm.ATerm t1)
|
void |
setInfo(aterm.ATerm t0,
java.lang.String s1)
|
void |
setSelection(aterm.ATerm t0,
aterm.ATerm t1)
|
void |
setTooltip(aterm.ATerm t0,
java.lang.String s1)
|
void |
showPopup(aterm.ATerm t0,
aterm.ATerm t1)
|
void |
writeContents(aterm.ATerm t0)
|
getContents
void getContents(aterm.ATerm t0)
editFile
void editFile(aterm.ATerm t0,
java.lang.String s1)
setFocus
void setFocus(aterm.ATerm t0,
aterm.ATerm t1)
isModified
void isModified(aterm.ATerm t0)
killEditor
void killEditor(aterm.ATerm t0)
displayMessage
void displayMessage(aterm.ATerm t0,
java.lang.String s1)
setTooltip
void setTooltip(aterm.ATerm t0,
java.lang.String s1)
registerTextCategories
void registerTextCategories(aterm.ATerm t0,
aterm.ATerm t1)
setSelection
void setSelection(aterm.ATerm t0,
aterm.ATerm t1)
writeContents
void writeContents(aterm.ATerm t0)
editorToFront
void editorToFront(aterm.ATerm t0)
setEditable
void setEditable(aterm.ATerm t0,
aterm.ATerm t1)
setContents
void setContents(aterm.ATerm t0,
java.lang.String s1)
highlightSlices
void highlightSlices(aterm.ATerm t0,
aterm.ATerm t1)
setCursorAtOffset
void setCursorAtOffset(aterm.ATerm t0,
int i1)
showPopup
void showPopup(aterm.ATerm t0,
aterm.ATerm t1)
addActions
void addActions(aterm.ATerm t0,
aterm.ATerm t1)
setInfo
void setInfo(aterm.ATerm t0,
java.lang.String s1)
clearFocus
void clearFocus(aterm.ATerm t0)
rereadContents
void rereadContents(aterm.ATerm t0)
recAckEvent
void recAckEvent(aterm.ATerm t0)
recTerminate
void recTerminate(aterm.ATerm t0)