Vince Zhao 4 years ago • updated by Jon 8 months ago 2

When trying to open a file from side bar, it's a good idea to expand that which allows me to view file full name, and shrink after I move my mouse away from that which gives me more space for editing.

This is a great,albeit old, idea and something which I added into a text editor I created myself many, many, years ago. It really does help - making the filenames easier to read when needed and giving more space for editing when not.

OK, having done this I have found an extension that does this.