| // Configuration script for https://www.eclipse.org/jdt/ui/scripts/jdtbugzilla.user.js | |
| // | |
| // To override configuration options, just assign new values to the variables | |
| // that are defined at the beginning of the script. | |
| /* Examples (commented out): | |
| ccs= [ | |
| "EX", "mail@example.com", | |
| ]; | |
| css+= ".cla_dec { opacity: 0.1; }"; | |
| */ |