Change red traffic light button when document is edited (#155)