added highlight_modified_tabs