org.aspectj.tools.ajbrowser.ui
Class EditorManager
java.lang.Object
org.aspectj.tools.ajbrowser.ui.EditorManager
public class EditorManager
- extends java.lang.Object
Responsible for controlling the editor.
- Author:
- Mik Kersten
| Methods inherited from class java.lang.Object |
equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait |
EditorManager
public EditorManager(EditorAdapter ajdeEditor)
isShiftDown
public static boolean isShiftDown(int modifiers)
- Returns:
- true if input modifiers have shift down
addListener
public void addListener(EditorListener editorListener)
removeListener
public void removeListener(EditorListener editorListener)
notifyCurrentFileChanged
public void notifyCurrentFileChanged(java.lang.String filePath)
addViewForSourceLine
public void addViewForSourceLine(java.lang.String filePath,
int lineNumber)
getCurrFile
public java.lang.String getCurrFile()
showSourceLine
public void showSourceLine(ISourceLocation sourceLocation,
boolean highlight)
showSourceLine
public void showSourceLine(java.lang.String filePath,
int lineNumber,
boolean highlight)
pasteToCaretPos
public void pasteToCaretPos(java.lang.String text)
showSourcelineAnnotation
public void showSourcelineAnnotation(java.lang.String filePath,
int lineNumber,
java.util.List items)
saveContents
public void saveContents()
getEditorPanel
public javax.swing.JPanel getEditorPanel()