I've noticed that sometimes window titles are out of date, too. Maybe this bug doesn't affect just the window buttons, but is a bug with redrawing the whole window border.
I've noticed that sometimes window titles are out of date, too. Maybe this bug doesn't affect just the window buttons, but is a bug with redrawing the whole window border.