public EditorLineStatus(JEditTextArea textarea) {
    this.textarea = textarea;
    textarea.editorLineStatus = this;

    background = Theme.getColor("linestatus.bgcolor");
    font = Theme.getFont("linestatus.font");
    foreground = Theme.getColor("linestatus.color");
    high = Theme.getInteger("linestatus.height");

    if (Base.isMacOS()) {
      resize = Base.getThemeImage("resize.gif", this);
    }
    // linestatus.bgcolor = #000000
    // linestatus.font    = SansSerif,plain,10
    // linestatus.color   = #FFFFFF
  }
Exemple #2
0
 public void actionPerformed(ActionEvent evt) {
   if (focusedComponent != null && focusedComponent.hasFocus()) focusedComponent.blinkCaret();
 }