Package org.aspectj.tools.ajbrowser.ui

Class EditorManager

java.lang.Object
org.aspectj.tools.ajbrowser.ui.EditorManager
public class EditorManager extends Object
Responsible for controlling the editor.

TODO: remove coupling to BasicEditor

Author:
Mik Kersten

  • Constructor Details

    • EditorManager

      public EditorManager​(EditorAdapter ajdeEditor)

  • Method Details

    • 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​(String filePath)

    • addViewForSourceLine

      public void addViewForSourceLine​(String filePath, int lineNumber)

    • getCurrFile

      public String getCurrFile()

    • showSourceLine

      public void showSourceLine​(ISourceLocation sourceLocation, boolean highlight)

    • showSourceLine

      public void showSourceLine​(String filePath, int lineNumber, boolean highlight)
      TODO: remove "instanceof AjdeManager" hack

    • pasteToCaretPos

      public void pasteToCaretPos​(String text)

    • showSourcelineAnnotation

      public void showSourcelineAnnotation​(String filePath, int lineNumber, List items)

    • saveContents

      public void saveContents()

    • getEditorPanel

      public JPanel getEditorPanel()