#422 Optional for jedit 4.3pre12

closed
None
7
2007-12-09
2007-11-13
Alan Ezust
No

{{{ Optional 0.2.3
Source: Source code is in SVN with the tag $JEDITSVN/plugins/Optional/tags/release-0-2-3
Announcement: Updated for jEdit 4.3pre12 to use relocated jedit beanshell package.

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>
}}}

Discussion

  • Alan Ezust

    Alan Ezust - 2007-12-08
    • priority: 5 --> 7
    • assigned_to: nobody --> jchoyt
     
  • Jeffrey Hoyt

    Jeffrey Hoyt - 2007-12-09

    Logged In: YES
    user_id=396194
    Originator: NO

    Released to Plugin Central.

     
  • Jeffrey Hoyt

    Jeffrey Hoyt - 2007-12-09
    • status: open --> closed
     

Log in to post a comment.

Get latest updates about Open Source Projects, Conferences and News.

Sign up for the SourceForge newsletter:

JavaScript is required for this form.





No, thanks