[ jEdit-devel ] [Bug #108856] use check boxes instead of multiple-select list

[<no...@so...>]

Bug #108856, was updated on 2000-Jul-04 11:10
Here is a current snapshot of the bug.

Project: jEdit
Category: plugin manager
Status: Open
Resolution: None
Bug Group: feature request
Priority: 5
Summary: use check boxes instead of multiple-select list

Details: The current way of selecting multiple plugins for installing or update is non-intuitive. It would be better if check boxes were used.

For detailed info, follow this link:
http://sourceforge.net/bugs/?func=detailbug&bug_id=108856&group_id=588