Marc Zinnschlag d7c63d4c74 track document modification state and display it in the top level window title bar		2012-11-22 23:42:17 +01:00
..
doc	track document modification state and display it in the top level window title bar	2012-11-22 23:42:17 +01:00