Menu
▾
▴
[ jEdit-devel ] [ jedit-Plugin Central Submission-1871408 ] Updated for 4.3pre12
|
From: SourceForge.net <no...@so...> - 2008-01-14 18:01:08
|
Plugin Central Submission item #1871408, was opened at 2008-01-14 10:01 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=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: Nobody/Anonymous (nobody) Summary: Updated for 4.3pre12 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> }}} ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=625093&aid=1871408&group_id=588 |