Menu
▾
▴
[ jEdit-devel ] [ jedit-Plugin Central Submission-1961969 ] Optional 1.0
|
From: SourceForge.net <no...@so...> - 2008-05-11 17:08:17
|
Plugin Central Submission item #1961969, was opened at 2008-05-11 10:08 Message generated for change (Tracker Item Submitted) made by Item Submitter You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1961969&group_id=588 Please note that this message will contain a full copy of the comment thread, including the initial issue submission, for this request, not just the latest update. Category: None Group: None Status: Open Priority: 5 Private: No Submitted By: Alan Ezust (ezust) Assigned to: Jeffrey Hoyt (jchoyt) Summary: Optional 1.0 Initial Comment: Optional 1.0 Source: Source code is in SVN with the tag release-1-0 Announcement: Bug fixes, "Combined Options" remembers previous selected tab. Requires Java 1.5 Requires jEdit 04.03.12.00 Short Description: Improves navigability of the Global/Plugin option panes by bringing them both into a tab layout. Now you can switch between Global Options and Plugin Options without closing the dialog. Saves many mouse-motions! Long Description: <html> <p> Improves navigability of the Global/Plugin option panes by bringing them both into single dialog with tab layout. Now you can switch between Global Options and Plugin Options without closing the dialog. Saves many mouse-motions! </p> <p> This plugin overrides the built-in Global/Plugin/Buffer options actions, so you should notice a difference immediately after installing it. The Optional Plugin has no options. </p> </html> ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1961969&group_id=588 |