jEdit / Plugin Patches / #174 Highlight: button labels

#174 Highlight: button labels

Status: closed-accepted

Owner: Matthieu Casanova

Labels: None

Priority: 5

Updated: 2016-02-15

Created: 2015-08-13

Creator: Makarius

Private: No

These are more official button labels for HighlightDialog (subject to translations). If hardwired strings are retained, "ok" should be spelt "OK" as usual.

1 Attachments

dif

Discussion

Matthieu Casanova - 2016-02-15

status: open --> closed-accepted

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

Matthieu Casanova - 2016-02-15

Thanks, it is applied

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

Highlight: button labels

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

Searches

Help

#174 Highlight: button labels

Discussion