Increasing size of results grid

Folks,

I'd like to use pgadmin3 for more demos.  But I find I can't because the
font size of the results grid is fixed as being fairly small, and
there's no way to make it larger.

How difficult would it be to make the results pane have a selectable
font size (and auto-adjust row size, I suppose)?

--                                  -- Josh Berkus                                    PostgreSQL Experts Inc.
                        http://www.pgexperts.com