Rename 1.0.2

jEdit is a programmer's text editor written in Java.

Brought to you by: daleanson, ezust, grepppo, k_satoda, and 5 others

#1009 Rename 1.0.2

Milestone: None

Status: closed-accepted

Owner: Townsfolk

Labels: None

Priority: 5

Updated: 2016-06-22

Created: 2016-04-22

Creator: Alan Ezust

Private: No

{{{ Rename 1.0.2
Source: Source code is in SVN with the tag $JEDITSVN/plugins/Rename/tags/Rename-1.0.2
Announcement: Bugfix release
Requires Java 1.7
Requires jEdit 05.01.99.00

Short Description: Allows you to rename dockable windows, actions, plugins, and option panes.

Long Description: <p>

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.

}}}

Discussion

Townsfolk - 2016-06-22

status: open --> closed-accepted

assigned_to: Townsfolk
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Townsfolk - 2016-06-22

released to pc

If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Rename 1.0.2

jEdit is a programmer's text editor written in Java.

Group

Searches

Help

#1009 Rename 1.0.2

Discussion