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

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.