improved DockTabWidget
fixed DockTabWidget
modified mark on canvas tabs
fixed painting bug when document's modified property changed