public event sessionThemeChanged as ActionEvent
Shared session colors changed; update custom-painted widget palettes here. Fired on the GUI thread before style propagation and repaint.
window.sessionThemeChanged += lambda(e as ActionEvent): updatePalette()