| Did you know ... | Search Documentation: |
| display_manager-system_colours_message |
->system_colours_changed
after reloading the system colours and before redrawing. library(pce_theme)
uses this to select the theme that matches the new desktop settings.