Re: Rename Browser to Object Explorer

Поиск
Список
Период
Сортировка
От Dave Page
Тема Re: Rename Browser to Object Explorer
Дата
Msg-id CA+OCxowqcg75F1bP-YYjTYpk2iqwHYSav0AyuEXS57qUFcRgEg@mail.gmail.com
обсуждение исходный текст
Ответ на Rename Browser to Object Explorer  (Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>)
Список pgadmin-hackers
Дерево обсуждения


On Fri, 24 Mar 2023 at 10:23, Aditya Toshniwal <aditya.toshniwal@enterprisedb.com> wrote:
Hi Hackers,

I propose we should rename the "Browser" tree panel header to "Object Explorer". "Browser" is confused with web browsers most of the time. And "Object Explorer" is more meaningful than "Browser".

What do you think?

No objection here.
 
--
Dave Page
VP, Chief Architect, Database Infrastructure
Blog: https://www.enterprisedb.com/dave-page
Twitter: @pgsnake

EDB: https://www.enterprisedb.com

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

Предыдущее
От: Nikhil Mohite
Дата:
Сообщение: [pgadmin-org/pgadmin4] b429a3: Fixed shared storage file accessibility issues in ...
Следующее
От: "dependabot[bot]"
Дата:
Сообщение: [pgadmin-org/pgadmin4] 979deb: Python dependency: Update cryptography requirement