[Issue #1138] Added 'Rename' option to right-click menu for Documents tab

[Fordi]

No description provided.

[b4n]

don't remove this line (it's part of the style -- and in any case, don't introduce style-only changes in the middle of a commit)

[b4n]

Although I made a lot of comments, it looks mostly fine.

[Fordi]

This was just a spike with reference to the ticket (#1138) to provide a quick implementation; I didn't vet it fully; the impl was to add it for my local machine, and I floated it just to see if you guys would want it for 1138.

Initially the idea was to shove an in-place Rename text box in the Documents list when you click rename - that's why the edit is a bit more complex / inconsistent than it needs to be - but when I noticed you could do it from the Save As... dialog, I went the lazy route (I had non-voluntary work to get finished) instead.

Anyway, I'll close the PR if y'all don't want it.

[b4n]

No, it makes sense to have it next to Save if people want it, so after a few fixes this PR would be fine.

[kugel-]

It doesn't look like the requested changes will be made. I suggest closing this.

@Fordi are you planning to work on this?