RM-4232- Change what is shown by default in tab titles: Implementation suggestion. - Mailing list pgadmin-hackers

Regarding feature RM-4232, Change what is shown by default in tab titles, 

I had a discussion with Akshay based on that I have added new options in preferences for the query tool/View-Edit and Debugger.

1. Query tool and View/Edit:

Added 2 options (placeholders) under display settings of Query Tool.

default it is set to what we are currently using, If the user updates the placeholders we will show the tab titles accordingly.

2. Debugger:

Added tab title place holder in display settings of the debugger.

default we are showing only "Debugger" as tab title.

1. If the user added any string with a placeholder that string will get a display in the tab title along with a placeholder.

2. Tooltip for the tabs will be the same as the placeholders that the user provided in the preferences.

Questions:

1. For scripts we are showing the same title as the Query Tool, do we need a different placeholder for it or we can reuse the Query Tool placeholder for it? 

    (If we need to add a separate placeholder for scripts, where will be the right place to put it in the preferences?)

2. Do we need to provide a placeholder for Debugger, as we are showing only "Debugger" in the title.

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

--