Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Non-browser specific issues for Editor #88
If the file cannot be opened/read, the Editor should notify the user of this. Current behavior can confuse users because it looks like the untagged file is empty.
Tab scrolling should be only horizontal. It should not expand the editing area. It is desirable to be able to scroll the tabs with the mouse wheel, and not just the scroll bar.
If the opened file has a long name that overlaps close box of the tab, it is difficult or impossible to close the tab.