search

creationix / tedit

Chrome app for tedit
https://chrome.google.com/webstore/detail/tedit-development-environ/ooekdijbnbbjdfjocaiflnjgoohnblgf
ISC License
188 stars 27 forks source link

(UI Feedback) Top of window is too crowded #36

Open benfredwells opened 10 years ago

benfredwells commented 10 years ago

Maybe this is personal, but I'd recommend having a standard title bar or at least a bit more space at the top of the window area.

creationix commented 10 years ago

I could change it to cover the tree as well. Personally I felt the tree more crowded than the titlebar. Also, the tree can be hidden manually by sliding it to the left. Then when you press Control+E it will toggle and auto-hide the tree.