Changes

The "Preferences" drop-down allows one to choose day-time or night-time modes, as well as whether to disable the tool-tips when one hovers over a button.

Note: the filter name and colour are obtained from a configuration