Are you seeing this with the default traffic light buttons or are you specifying custom images for them?

@indragiek I'm specifying custom images as demonstrated here: https://gist.github.com/jarek-foksa/10618949. If I find some free time next month I'll try to implement this feature.

@jarek-foksa Yeah, this is pretty difficult to implement as an automatic thing because the red circle style may or may not work depending on what your traffic light images look like. IMO the best thing to do would be to add another image property to INWindowButton to be shown when the document is edited, so you can customize it to make it look the way you want.

Yeah, I think an editedImage property on INWindowButton would make sense.