Additional rules used in the JDT UI project:
The JDT UI component consists of the following plug-ins:
JDT UI developers are heavy users of bugs.eclipse.org. Since we could not stand the increasing number of UI bloopers in Bugzilla, we created the jdtbugzilla.user.js Greasemonkey script to ease our daily pain. The script always works with the latest release of Firefox, Greasemonkey, and bugs.eclipse.org.
Over time, we also added quick links and tweaks to improve our work experience. The team-specific
tweaks are being configured at the top of the script.
After installing the default script, you can override some or all of these settings locally by editing the file
<firefox-profile>/gm_scripts/JDT_UI_Bugzilla_Add-On/jdtbugzilla.config.js.
Just copy a var xxx= ...; declaration from the script, remove the var,
and change the value to suit your needs.
For comments and enhancement requests, please use bug 390332 or file a new bug. If someone from the Bugzilla team wants to talk about the UI bugs, please also file a bug or directly talk to Markus.
Here are some of the improvements in the script (see comments in the source for full details):