#2 Duplication of modification icon

[Ondrej Fischer]

In the document tabset there is modification notification with an
icon. If the message, that file was modified, is sent multiple times
to one document tab, the icon is duplicated.