Your comments
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.
Customer support service by UserEcho
OK, having done this I have found an extension that does this.