use full filename on editor tabs