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

Поиск
Список
Период
Сортировка
От pgAdmin Trac
Тема Re: [pgAdmin III] #263: Allow the use of the mouse wheel to increase/decrease font size in grids
Дата
Msg-id 060.2fe19dffd4233e613cddfe9314cd02eb@code.pgadmin.org
обсуждение исходный текст
Ответ на [pgAdmin III] #263: Allow the use of the mouse wheel to increase/decrease font size in grids  ("pgAdmin Trac" <trac@code.pgadmin.org>)
Список 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

В списке pgadmin-hackers по дате отправления:

Предыдущее
От: "pgAdmin Trac"
Дата:
Сообщение: Re: [pgAdmin III] #247: Defined Custom Colors not retained
Следующее
От: "pgAdmin Trac"
Дата:
Сообщение: Re: [pgAdmin III] #247: Defined Custom Colors not retained