Add option to rename shelf

[g-kartik]

I've searched the issue list, there are no similar features.

• Yes

I've installed the latest developer version, still can't find this feature.

• Yes

If you have more than one feature, please open multiple issues.

• Yes

Brief Introduction

Currently there is no way one can rename the shelf name. I think we should allow users to edit it.

Details

We can create a drop down menu for editing a shelf. This menu can also include to delete it.

[troyeguo]

Thanks for the advice, we will add it in future update