[ jEdit-devel ] [jedit:plugin-central-submission] #1028 ShortcutDisplay 1.3.2

classic Classic list List threaded Threaded
2 messages Options
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-central-submission] #1028 ShortcutDisplay 1.3.2

Jeffrey Hoyt

[plugin-central-submission:#1028] ShortcutDisplay 1.3.2

Status: open
Group: None
Created: Thu Apr 27, 2017 01:38 AM UTC by Jeffrey Hoyt
Last Updated: Thu Apr 27, 2017 01:38 AM UTC
Owner: nobody

{{{ ShortcutDisplay 1.3.2
Source: Source code is in SVN with the tag release-1.3.2
Announcement: Updated to reflect jEdit 5.4 code changes
Requires Java 1.8
Requires jEdit 05.04.99.00

Short Description: This plugin causes a pop up to be displayed whenever the user presses a shortcut prefix.

Long Description: This plugin causes a pop up to be displayed whenever the user presses a shortcut prefix. The pop up contains all the possible completions and the name of the action. The idea here is to help us mortals learn more of the built-in functionality jEdit has, or to make use of more of them even when we don't remember the keyboard shortcuts.

}}}


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/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]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Reply | Threaded
Open this post in threaded view
|  
Report Content as Inappropriate

[ jEdit-devel ] [jedit:plugin-central-submission] #1028 ShortcutDisplay 1.3.2

Townsfolk
  • status: open --> closed-accepted
  • assigned_to: Townsfolk

[plugin-central-submission:#1028] ShortcutDisplay 1.3.2

Status: closed-accepted
Group: None
Created: Thu Apr 27, 2017 01:38 AM UTC by Jeffrey Hoyt
Last Updated: Thu Apr 27, 2017 01:38 AM UTC
Owner: Townsfolk

{{{ ShortcutDisplay 1.3.2
Source: Source code is in SVN with the tag release-1.3.2
Announcement: Updated to reflect jEdit 5.4 code changes
Requires Java 1.8
Requires jEdit 05.04.99.00

Short Description: This plugin causes a pop up to be displayed whenever the user presses a shortcut prefix.

Long Description: This plugin causes a pop up to be displayed whenever the user presses a shortcut prefix. The pop up contains all the possible completions and the name of the action. The idea here is to help us mortals learn more of the built-in functionality jEdit has, or to make use of more of them even when we don't remember the keyboard shortcuts.

}}}


Sent from sourceforge.net because [hidden email] is subscribed to https://sourceforge.net/p/jedit/plugin-central-submission/

To unsubscribe from further messages, a project admin can change settings at https://sourceforge.net/p/jedit/admin/plugin-central-submission/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]
https://lists.sourceforge.net/lists/listinfo/jedit-devel
Loading...