After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 357537 - allow double click in plugin selection dialog
allow double click in plugin selection dialog
Status: VERIFIED FIXED
Product: anjuta
Classification: Applications
Component: core application
CVS HEAD
Other All
: Normal minor
: ---
Assigned To: Anjuta maintainers
Anjuta maintainers
Depends on:
Blocks:
 
 
Reported: 2006-09-24 23:30 UTC by Adam Dingle
Modified: 2009-08-15 18:40 UTC
See Also:
GNOME target: ---
GNOME version: ---

Attachments
fix (1.57 KB, patch)
2006-10-06 03:08 UTC, Adam Dingle 		committed Details | Review

Description Adam Dingle 2006-09-24 23:30:50 UTC 
In the "Select a plugin" dialog (which displays e.g. a choice of editor plugins), I have to select a plugin and press OK.  It would be nice if I could alternatively double-click a plugin from the list.  This would be a minor usability improvement, but would be nice to have.

Other information:
Comment 1 Adam Dingle 2006-10-06 03:08:59 UTC 
Created attachment 74108 [details] [review]
fix

I've attached a fix.
Comment 2 Naba Kumar 2006-12-04 10:01:40 UTC 
Closing all fixed bugs. Sorry for the mass update :( ...