IntenseWebs/pgadmin4
3
0
Fork 0
mirror of https://github.com/pgadmin-org/pgadmin4.git synced 2025-02-25 18:55:31 -06:00
Code Issues Packages Projects Releases Wiki Activity

Revert changes from the previous commit to restore the 'Object Explorer' title.

Browse Source
This commit is contained in:
Akshay Joshi
2025-02-11 20:18:10 +05:30
parent eb7c3ef361
commit 58bb14253e
1 changed files with 3 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

6
web/pgadmin/static/js/BrowserComponent.jsx
View File

@@ -80,16 +80,16 @@ let defaultLayout = {
mode: 'horizontal', mode: 'horizontal',
children: [ children: [
{ {
size: 10, size: 20,
tabs: [ tabs: [
LayoutDocker.getPanel({ LayoutDocker.getPanel({
id: BROWSER_PANELS.OBJECT_EXPLORER, title: gettext(''), id: BROWSER_PANELS.OBJECT_EXPLORER, title: gettext('Object Explorer'),
content: <ObjectExplorer />, group: 'object-explorer' content: <ObjectExplorer />, group: 'object-explorer'
}), }),
], ],
}, },
{ {
size: 90, size: 80,
id: BROWSER_PANELS.MAIN, id: BROWSER_PANELS.MAIN,
group: 'playground', group: 'playground',
tabs: defaultTabsData.map((t)=>LayoutDocker.getPanel(t)), tabs: defaultTabsData.map((t)=>LayoutDocker.getPanel(t)),