Farbeffekte der Registerkarten in den letzten Builds

Die j

.....ja, und genau das selbe tritt seit einigen Builds (V2.0.1001...) wieder auf, nachdem der Effekt viele Monate verschwunden war.
Ists ein Bug oder Feature?
Klaus