Oh whoa I didn't realize they became all wonky. It also looks like headers in the statistics table is still bold, so perhaps there's something missing in our patch. We'll take a look.
On Thu, Jul 20, 2017 at 4:01 PM Dave Page <dp...@pgadmin.org> wrote: > Hi > > On Thu, Jul 20, 2017 at 7:55 PM, Shirley Wang <sw...@pivotal.io> wrote: > >> Hi >> >> Attached is a patch for changing the font sizes of dialog, table, and >> graph headers to 13 px and unbold them. >> >> Let us know your thoughts. >> >> > I think this is heading in the right direction, but it's not quite there > yet. As you can see in the attached screenshot the table headers for > Statistics, Dependencies and Dependents, and the subnode headers and column > headers still need work. I think this patch makes that even more obvious > than it is now, so I'm not going to apply it until the other items can be > addressed as well. > > Thanks! > > -- > Dave Page > Blog: http://pgsnake.blogspot.com > Twitter: @pgsnake > > EnterpriseDB UK: http://www.enterprisedb.com > The Enterprise PostgreSQL Company >
