From: SourceForge.net <no...@so...> - 2004-02-23 17:54:50
|
Plugin Central Submission item #902851, was opened at 2004-02-23 11:44 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=902851&group_id=588 Category: None Group: None Status: Open Priority: 5 Submitted By: Brad Mace (bemace) Assigned to: Nobody/Anonymous (nobody) Summary: Rename 1.0.1 Initial Comment: Rename 1.0.1 Requirements: * JDK 1.4.1 * jEdit 4.2pre8 Announcement: Fixed bug where options wouldn't save if !table.isEditing() Source: plugins/Rename tag: release-1_0_1 Description: Allows you to rename dockable windows,actions, plugins, and option panes. This is useful for shortening the names of docked windows, and for translating GUI elements into your native language. ---------------------------------------------------------------------- You can respond by visiting: https://sourceforge.net/tracker/?func=detail&atid=625093&aid=902851&group_id=588 |