- Simply write to filter the partition drop down menu.
- Hitting enter while in the filter box activates the currently selected option.
- Any filter entered is saved and re-entered upon partition change. So if you have a prefix in your partitions and only want to use with ie. partitions named "Bank-Backend", "Bank-Frontend" and "Bank-CDE" you can simply enter "Bank-".
Thanks to Tom for suggesting it.
Option to activate the script on v13
I think most of the features should work on v13 too but I have had no time to test them. If you're willing to help here I'd be very grateful. To activate, scroll down to the bottom of the setting section and change allow13 = false; to allow13 = true;.
Christmas edition is build in to the script
The previous implementation was a completely separate edition of the script. Which meant that if you wanted to enable it you'd have to switch the code and when you finally had enough snow you'd have to switch again. Annoying.
Instead, now a form would show up automatically in December where you can choose to activate or deactivate the Christmas theme.
For those real grinches out there (or 100% professional consultants wanting to keep thing legit):
Don't you worry, you can totally supress the theme by changing var allowChristmas = true; to var allowChristmas = false;. Can't promise Santa will bring you any presents if you do though.
And for Devcentral member Boneyard
A bit of an easter egg. If you set var alwaysChristmas = true; in the settings section you can enjoy the theme all year long. :)