fix taskboard tab highlighting, fixes #40849