Re: [PgAdmin][RM-4231]: Dynamically size tab titles.

2020-11-04 Thread Akshay Joshi
Thanks, patch applied. On Wed, Nov 4, 2020 at 12:43 PM Nikhil Mohite < nikhil.moh...@enterprisedb.com> wrote: > Hi Akshay, > > Please find the updated patch, resolved all review comments. > > Regards, > Nikhil Mohite. > > On Wed, Nov 4, 2020 at 11:24 AM Akshay Joshi < > akshay.jo...@enterprisedb.

Re: [PgAdmin][RM-4231]: Dynamically size tab titles.

2020-11-03 Thread Akshay Joshi
Hi Nikhil Following are the review comments: - "Tabs settings" should be renamed to "Tab settings". - "Debugger Tab title" should be renamed to the "Debugger tab title". - "Enable dynamic tab size" should be renamed to "Dynamic tab size". - Add help message for the "Dynamic tab size"