Re: Rename Browser to Object Explorer - Mailing list pgadmin-hackers

From Dave Page
Subject Re: Rename Browser to Object Explorer
Date
Msg-id CA+OCxowqcg75F1bP-YYjTYpk2iqwHYSav0AyuEXS57qUFcRgEg@mail.gmail.com
Whole thread Raw
In response to Rename Browser to Object Explorer  (Aditya Toshniwal <aditya.toshniwal@enterprisedb.com>)
List 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 by date:

Previous
From: Nikhil Mohite
Date:
Subject: [pgadmin-org/pgadmin4] b429a3: Fixed shared storage file accessibility issues in ...
Next
From: "dependabot[bot]"
Date:
Subject: [pgadmin-org/pgadmin4] 979deb: Python dependency: Update cryptography requirement