Mini-Media Bay -> Rename

We should be able to rename files from the mini-media bay (on the right), in the same way we can do it in the main Media Bay window.