[PATCH] Add a menu option for disabling restoration of previous environment on reconnect

Поиск
Список
Период
Сортировка
От Kaarel Moppel
Тема [PATCH] Add a menu option for disabling restoration of previous environment on reconnect
Дата
Msg-id CA+gt1FdHuOohNVBYax8upvg7KY7FwmO7MpQKrT4fJM91UgUshA@mail.gmail.com
обсуждение исходный текст
Ответы Re: [PATCH] Add a menu option for disabling restoration of previous environment on reconnect  (Ashesh Vashi <ashesh.vashi@enterprisedb.com>)
Список pgadmin-hackers
Дерево обсуждения
Checkbox resides under "Options-> Browser -> UI misc".

NB! didn't add the embed-xrc generated xrcDialogs.cpp class due to verbosity, so it needs to executed by the code maintainer.

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

Предыдущее
От: Kaarel Moppel
Дата:
Сообщение: [PATCH] fix newly added server being lost when crashing
Следующее
От: Kaarel Moppel
Дата:
Сообщение: [PATCH] Added a menu option to disable code folding