On Thu, Jun 23, 2016 at 5:07 PM, Dave Page <dpage@pgadmin.org> wrote:
Hi
On Wed, Jun 22, 2016 at 12:56 PM, Murtuza Zabuawala <murtuza.zabuawala@enterprisedb.com> wrote: > Hi, > > PFA minor patches to fix two issues mentioned in RM#1235 & RM#1234.
I've pushed the fix for 1234, however the fix for 1235 changes the control used in the grid to a checkbox which is inconsistent with the rest of the app where we use switches. Can that be changed?