Comment 70 for bug 48671

There are numerous ways to make it easier to edit the file name, which are less intrusive than the slow-double-click way. The most straight forward would be:
- add a Button to open the file preferences dialog in the icon bar below the menu. The file name is selected by default already. Since copying and pasting are probably more common operations, one might argue to add buttons for that as well.