Tipblinken geht manchmal nicht

[Lippi]

Ich kann nur vermuten, dass das seit irgendeinem Update ist.
Sicher bin ich mir aber nicht.
Es ist mir zumindest früher nicht aufgefallen.
Hatte mich darauf verlassen, dass es geht.