Re: [pgadmin-hackers] PATCH: RM#1733

2016-09-26 Thread Dave Page
Thanks, applied. On Fri, Sep 23, 2016 at 11:41 PM, Ashesh Vashi < ashesh.va...@enterprisedb.com> wrote: > Hi Dave/Team, > > Please find the patch for the issue - 'Filter option taking too much time > to load'. > Actually - it wasn't taking any time, but - we did not hide the loading > div properl

[pgadmin-hackers] PATCH: RM#1733

2016-09-23 Thread Ashesh Vashi
Hi Dave/Team, Please find the patch for the issue - 'Filter option taking too much time to load'. Actually - it wasn't taking any time, but - we did not hide the loading div properly. Please find the patch, which also takes care of other similar possible issue along with the above issue. -- Tha