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
}
public void actionPerformed(ActionEvent evt) {
if (focusedComponent != null && focusedComponent.hasFocus()) focusedComponent.blinkCaret();
}