Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences

2018-10-11 Thread Dave Page
Thanks - applied. Of course, this makes me think - we'll need to replace all the screenshots soon :-( On Thu, Oct 11, 2018 at 6:33 AM Aditya Toshniwal < aditya.toshni...@enterprisedb.com> wrote: > Hi, > > Attached is the patch for docs update. > > On Mon, Oct 8, 2018 at 4:13 PM Dave Page

Re: [pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences

2018-10-08 Thread Dave Page
Thanks, applied. On Mon, Oct 8, 2018 at 8:07 AM Aditya Toshniwal < aditya.toshni...@enterprisedb.com> wrote: > Hi Hackers, > > Attached is the tiny patch for renaming 'SQL Editor' into 'Query Tool' in > Preferences. > > -- > Thanks and Regards, > Aditya Toshniwal > Software Engineer |

[pgAdmin4][RM3660] Rename 'SQL Editor' into 'Query Tool' in Preferences

2018-10-08 Thread Aditya Toshniwal
Hi Hackers, Attached is the tiny patch for renaming 'SQL Editor' into 'Query Tool' in Preferences. -- Thanks and Regards, Aditya Toshniwal Software Engineer | EnterpriseDB Software Solutions | Pune "Don't Complain about Heat, Plant a tree" RM3660.patch Description: Binary data