[ jEdit-devel ] [jedit:feature-requests] #468 ShortcutsOptionPane: give more info to user

classic Classic list List threaded Threaded
1 message Options
Reply | Threaded
Open this post in threaded view

[ jEdit-devel ] [jedit:feature-requests] #468 ShortcutsOptionPane: give more info to user

jedit-devel mailing list
  • status: open-remind --> closed
  • Group: --> none
  • Comment:

Remaining part is a new ticket now, https://sourceforge.net/p/jedit/feature-requests/538/

[feature-requests:#468] ShortcutsOptionPane: give more info to user

Status: closed
Group: none
Created: Thu Jun 06, 2013 04:29 PM UTC by Alan Ezust
Last Updated: Mon Jul 29, 2013 05:31 PM UTC
Owner: Matthieu Casanova

When user selects "All shortcuts", add another column or something that shows the user what actionset each action is from.

Also, when the user hovers over an action, if there is .tooltip for it, show it as a tooltip in the table too.

Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/feature-requests/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/feature-requests/options. Or, if this is a mailing list, you can unsubscribe from the mailing list.

Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
jEdit Developers' List
[hidden email]