jEdit / Patches / #601 feature #538 ShortcutOptionPane: show tooltips for entries in table

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

#601 feature #538 ShortcutOptionPane: show tooltips for entries in table

Milestone: None

Status: closed-accepted

Owner: Alan Ezust

Labels: None

Priority: 5

Updated: 2017-10-12

Created: 2017-10-11

Creator: Roman Tsourick

Private: No

The tooltip contains text from .tooltip entry if any and from .label otherwise. I think it looks better than just having nothing in between of tooltips set explicitly.

[features:#538]

1 Attachments

feature-538-ShortcutOptionPane-show-tooltips-for-entries-in-table.patch

Discussion

Roman Tsourick - 2017-10-11

[feature:#538]

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

Roman Tsourick - 2017-10-11

How to make those cross links work?? :(

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

Alan Ezust - 2017-10-12

assigned_to: Alan Ezust

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

Alan Ezust - 2017-10-12

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

Alan Ezust - 2017-10-12

Committed r24750 to trunk.

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

feature #538 ShortcutOptionPane: show tooltips for entries in table

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

Group

Searches

Help

#601 feature #538 ShortcutOptionPane: show tooltips for entries in table

Discussion