jEdit / Bugs / #3648 Plugin Manager - update dialog title wrong(?)

#3648 Plugin Manager - update dialog title wrong(?)

Status: closed-fixed

Owner: Matthieu Casanova

Labels: plugin manager (124)

Priority: 5

Updated: 2012-02-08

Created: 2012-02-07

Creator: Steve

Private: No

The window title on the update dialog of Plugin Manager should probably tell what it is, rather than mirroring the text shown in the progress bar. See screenshot.

jEdit 4.5pre1
Windows 7
1:52:34 PM [main] [message] Log: java.version=1.6.0_29
1:52:34 PM [main] [message] Log: java.vm.version=20.4-b02
1:52:34 PM [main] [message] Log: java.vm.name=Java HotSpot(TM) 64-Bit Server VM

Discussion

Steve - 2012-02-07

Plugin Manager - Update dialog

2-7-2012 1-49-39 PM.png

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

Matthieu Casanova - 2012-02-08

assigned_to: nobody --> kpouer

status: open --> closed-fixed
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:

Matthieu Casanova - 2012-02-08

fixed in rev 21094

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

Plugin Manager - update dialog title wrong(?)

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

Group

Searches

Help

#3648 Plugin Manager - update dialog title wrong(?)

Discussion