If you use bugs.eclipse.org a lot, then you could be interested in this Greasemonkey script: http://www.eclipse.org/jdt/ui/scripts/jdtbugzilla.user.js
It fixes quite a few Bugzilla UI bloopers and adds handy functionality. See http://www.eclipse.org/jdt/ui/dev.php#scripts for a list of features. Please use https://bugs.eclipse.org/bugs/show_bug.cgi?id=390332 for feedback. Markus _______________________________________________ cross-project-issues-dev mailing list [email protected] https://dev.eclipse.org/mailman/listinfo/cross-project-issues-dev
