Your comments

Something is needed to show open tabs -- how about in the Window menu? Right now, it just shows the file name of the selected tab, so one cannot see which tabs are open and move directly to the selected one.