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

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

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

Предыдущее
От: "pgAdmin Trac"
Дата:
Сообщение: [pgAdmin III] #262: Increasing size of results grid
Следующее
От: "pgAdmin Trac"
Дата:
Сообщение: [pgAdmin III] #264: Native linux copy/paste