Обсуждение: [pgAdmin III] #263: Allow the use of the mouse wheel to increase/decrease font size in grids

Поиск
Список
Период
Сортировка

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

От
"pgAdmin Trac"
Дата:
#263: Allow the use of the mouse wheel to increase/decrease font size in grids
------------------------+---------------------------------------------------
 Reporter:  Thom Brown  |       Owner:  gleu
     Type:  feature     |      Status:  new 
 Priority:  minor       |   Milestone:      
Component:  pgadmin     |     Version:  1.12
 Keywords:  querytool   |    Platform:  all 
------------------------+---------------------------------------------------
 Implement the ability to use CTRL + scrollwheel and CTRL + (+/-) to zoom
 in/out.

--
Ticket URL: <http://code.pgadmin.org/trac/ticket/263>
pgAdmin III <http://code.pgadmin.org/trac/>
pgAdmin III

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

От
"pgAdmin Trac"
Дата:
#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