[ jEdit-devel ] (no subject)

Hi Slava,

love the new 3.0final!

Some minor nitpicks and suggestions:

* Color dialog under General Options->Colors (and Styles): enter three
integers on the RGB tab, close the dialog, reopen it. The integers are now
decremented by one.

* General Options->Styles: All table entries are rendered with the same
non-bold, non-italic font. Could be a JTable bug (I used Swing from JDK
1.2.2).

* (harmless) Update plugins dialog: click on the checkbox for entry
"loading..." while the information is retrieved. If no new plugins are found, an
ArrayIndexOutOfBoundsException is thrown.

* Suggestion for General Options->File System Browser: let "Favorites" be
a valid option for "Default Path".

* Suggestion for configuring shortcuts: A separate tab for "Plugin
shortcuts". Need to determine which action commands are from plugins and which ones
are from jEdit. Is this possible with the new action API?

Dirk.

-- 
Sent through GMX FreeMail - http://www.gmx.net