RM-4320: Rename tab - Mailing list pgadmin-hackers

Regarding the RM-4230 rename tab: implementation approach.

1. We can add the "Rename Panel" option on the panel right-click where we show other options like "Remove Panel".

2. Clicking on the "Rename panel" option, a dialog box will open to take user input for panel title and the entered value will get set as panel title.

Questions:

1. Do we need any different icons for the rename panel option? (just resued edit icon for demo).

2. Should we update the tooltip of that renamed panel with user-entered value?

3. Should we allow the user to add placeholders for the panel title from the Rename panel dialog? (We have added placeholders for Query tool and View/Edit Data in preferences to customization in the tab title.)

Any suggestions or anything I have missed in this please let me know.
--