

Bugfix: in the Customizer program, the custom toolbar buttons were not always refreshed.Bugfix: the tab color selection button was hardly visible when the tab color was white.Bugfix: refreshing shared sessions stored on an HTTP backend did not work properly when the session was cached by the browser.


