Re: [pgAdmin III] #263: Allow the use of the mouse wheel to increase/decrease font size in grids

From: "pgAdmin Trac" <trac(at)code(dot)pgadmin(dot)org>
To:
Cc: pgadmin-hackers(at)postgresql(dot)org
Subject: Re: [pgAdmin III] #263: Allow the use of the mouse wheel to increase/decrease font size in grids
Date: 2010-10-24 01:54:26
Message-ID: [email protected]
Views: Whole Thread | Raw Message | Download mbox | Resend email
Thread:
Lists: pgadmin-hackers

#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

In response to

Browse pgadmin-hackers by date

  From Date Subject
Next Message pgAdmin Trac 2010-10-24 01:55:08 Re: [pgAdmin III] #247: Defined Custom Colors not retained
Previous Message pgAdmin Trac 2010-10-24 01:53:13 Re: [pgAdmin III] #247: Defined Custom Colors not retained