When [window isDocumentEdited] returns YES then the red traffic light button should contain a small circle inside it.