But it also needs a GUI to turn it off, expecting users to modify themes to control an annoying flashing is not appropriate.

Meh, we already do this with the colour of tab labels and the background colour of search text boxes. Not that I think it's worth it to implement for this use cases, just it wouldn't be setting any precedence.

—
Reply to this email directly or view it on GitHub.