Re: Fwd: [Bug 484145] [NEW] Keyboard shortcuts for closing window / application inconsistent with GNOME
В списке pgadmin-hackers по дате отправления:
| От | Dave Page |
|---|---|
| Тема | Re: Fwd: [Bug 484145] [NEW] Keyboard shortcuts for closing window / application inconsistent with GNOME |
| Дата | |
| Msg-id | 937d27e10912030119s65b04889xc35dd8a59419f4c6@mail.gmail.com обсуждение |
| Ответ на | Re: Fwd: [Bug 484145] [NEW] Keyboard shortcuts for closing window / application inconsistent with GNOME (Guillaume Lelarge <guillaume@lelarge.info>) |
| Ответы |
Re: Fwd: [Bug 484145] [NEW] Keyboard shortcuts for closing window / application inconsistent with GNOME
|
| Список | pgadmin-hackers |
On Thu, Dec 3, 2009 at 8:57 AM, Guillaume Lelarge <guillaume@lelarge.info> wrote: > Le jeudi 3 décembre 2009 à 09:34:43, Dave Page a écrit : >> On Wed, Dec 2, 2009 at 10:42 PM, Guillaume Lelarge >> >> <guillaume@lelarge.info> wrote: >> > Hmmm, no comments on this patch? usually, I would commit it right away :) >> > but as there were objections on the issue, I don't know what I should do. >> >> If it works as you describe, then of course, no objections from me. >> > > I've commited it in trunk. I'm not sure this is something I want to/can commit > to the 1.10 branch. Any opinion on this? Borderline case. As it doesn't stop the existing keys from working, I think it's OK. BTW, I (finally) expect to cut 1.10.1 today - probably later this morning. -- Dave Page EnterpriseDB UK: http://www.enterprisedb.com
В списке pgadmin-hackers по дате отправления:
Сайт использует файлы cookie для корректной работы и повышения удобства. Нажимая кнопку «Принять» или продолжая пользоваться сайтом, вы соглашаетесь на их использование в соответствии с Политикой в отношении обработки cookie ООО «ППГ», в том числе на передачу данных из файлов cookie сторонним статистическим и рекламным службам. Вы можете управлять настройками cookie через параметры вашего браузера