When using a custom theme extension point (see #6923 Extend the actifsource theme profiles via an extension point), the default theme was not set the first time a new workspace was started. This is now fixed.
#6950 Load default theme profile from custom extension point
