On Wed, Jun 7, 2017 at 6:54 PM, Dave Page <dpage@pgadmin.org> wrote:
On Wed, Jun 7, 2017 at 2:22 PM, Surinder Kumar <surinder.kumar@enterprisedb.com> wrote: > Hi > > With the latest pull, I found: > The header color of Properties panel disappears and background color of > footer area in Edit Properties panel is changed.
Oh, I missed that :-(. Can you come up with a quick fix using the new classes?