jEdit / Patches / #414 Public TextArea.isCaretVisible

jEdit is a programmer's text editor written in Java.

#414 Public TextArea.isCaretVisible

Status: closed-accepted

Owner: Jarek Czekalski

Labels: texteditor (113)

Priority: 5

Updated: 2012-04-20

Created: 2012-04-16

Creator: Makarius

Private: No

Making the method TextArea.isCaretVisible public helps plugins with sophisticated TextAreaPainter to follow exactly the caret visibility notion of jEdit, instead of guessing themselves.

Discussion

Makarius - 2012-04-16

caret

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Jarek Czekalski - 2012-04-19

assigned_to: nobody --> jarekczek
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Jarek Czekalski - 2012-04-20

I guess you meant TextAreaExtension. That sounds reasonable. Applying the patch. r21592.

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Jarek Czekalski - 2012-04-20

status: open --> closed-accepted
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Public TextArea.isCaretVisible

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#414 Public TextArea.isCaretVisible

Discussion