Menu
▾
▴
[ jEdit-devel ] [ jedit-Plugin Central Submission-1871408 ] JFuguePlugin 0.7.2
|
From: SourceForge.net <no...@so...> - 2008-02-05 02:44:01
|
Plugin Central Submission item #1871408, was opened at 2008-01-14 13:01 Message generated for change (Comment added) made by jchoyt You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1871408&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: Townsfolk (elberry) Assigned to: Jeffrey Hoyt (jchoyt) Summary: JFuguePlugin 0.7.2 Initial Comment: {{{ jfugueplugin 0.7.2 Source: Source code is in SVN with the tag release-0-7-2(https://jedit.svn.sourceforge.net/svnroot/jedit/plugins/JFuguePlugin/tags/release-0-7-2) Announcement: Updated for 4.3pre12. Requires Java 1.5 Requires jEdit 04.03.12.00 Required plugins: jakartacommons.JakartaCommonsPlugin 0.4.4 Short Description: A jEdit plugin to bring the JFugue API to jEdit users and provide some basic functionality to help users create music using the JFugue API. Long Description: <!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN""http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd"> <html> <head> <title>JFugue Plugin Description</title> </head> <body> A jEdit plugin to bring the JFugue API to jEdit users and provide some basic functionality to help users create music using the JFugue API. The Plugin provides functions for playing the entire buffer, or any selected text through Java's sound system, using your Java sound bank. These and two other functions are available in beanshell, where you can play any given music string. </body> </html> }}} ---------------------------------------------------------------------- >Comment By: Jeffrey Hoyt (jchoyt) Date: 2008-02-04 21:43 Message: Logged In: YES user_id=396194 Originator: NO Why is this plugin set to start at startup and not deferred? All plugins should have this setting set to defer unless there is some function that is needed before a user might call a function explicitly (for example, the Gesture plugin starts at jEdit startup so it can recognize mouse gestures without user intervention). ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1871408&group_id=588 |