|
From: <no...@so...> - 2000-07-04 11:15:30
|
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 |