#263: Allow the use of the mouse wheel to increase/decrease font size in grids
-------------------------+--------------------------------------------------
Reporter: Thom Brown | Owner: gleu
Type: feature | Status: closed
Priority: minor | Milestone: 1.14
Component: pgadmin | Version: 1.12
Resolution: fixed | Keywords: querytool
Platform: all |
-------------------------+--------------------------------------------------
Changes (by gleu):
* status: new => closed
* resolution: => fixed
* milestone: => 1.14
Comment:
Implemented in
http://git.postgresql.org/gitweb?p=pgadmin3.git;a=commit;h=6081a118868977429c1bb5f2dd2d56d4c39c6331
--
Ticket URL: <http://code.pgadmin.org/trac/ticket/263#comment:1>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III
--
Sent via pgadmin-hackers mailing list ([email protected])
To make changes to your subscription:
http://www.postgresql.org/mailpref/pgadmin-hackers
