Re: [pgAdmin][RM4348] Theme options in pgAdmin and dark theme

On Thu, Nov 7, 2019 at 1:25 PM Akshay Joshi <akshay.joshi@enterprisedb.com> wrote:

Thanks, patch applied.

On Thu, Nov 7, 2019 at 6:39 PM Aditya Toshniwal <aditya.toshniwal@enterprisedb.com> wrote:

Hi Hackers,

Attached is the updated patch with few more changes and corrections.

Kindly review.

I've committed a couple of minor tweaks - one to remove a space, e.g.

gettext('A page refresh is required to apply the theme. Do you wish to refresh the page now ?'),

is now:

gettext('A page refresh is required to apply the theme. Do you wish to refresh the page now?'),

And another change to fix the word wrapping in the README which was totally different from the rest of the file.

Thanks!