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

Show object breadcrumbs path along with its comment on object hover. #2078

Browse Source
This commit is contained in:
Aditya Toshniwal
2023-04-26 11:18:16 +05:30
committed by GitHub
parent 60265b306f
commit 1e7517dc98
99 changed files with 736 additions and 149 deletions
Download Patch File Download Diff File Expand all files Collapse all files

15
web/pgadmin/browser/static/js/browser.js
View File

@@ -1384,12 +1384,8 @@ define('pgadmin.browser', [
}
if (this.new._id == _id) {
// Found the current
_.extend(this.d, {
'_id': this.new._id,
'_label': this.new._label,
'label': this.new.label,
});
this.t.update(ctx.i, this.new);
_.extend(this.d, this.new);
this.t.update(ctx.i, this.d);
this.t.setLabel(ctx.i, {label: this.new.label});
this.t.addIcon(ctx.i, {icon: this.new.icon});
this.t.setId(ctx.i, {id: this.new.id});
@@ -1632,11 +1628,8 @@ define('pgadmin.browser', [
// If server icon/background changes then also we need to re-create it
if ((
_old._type == 'server' && _new._type == 'server' && (
_old._pid != _new._pid ||
_old._label != _new._label ||
_old.icon != _new.icon
)) || _old._pid != _new._pid || _old._label != _new._label ||
_old._id != _new._id
_old._pid != _new._pid || _old.icon != _new.icon
)) || _old._pid != _new._pid || _old._id != _new._id
) {
ctx.op = 'RECREATE';
traversePath();

2
web/pgadmin/browser/static/js/node.js
View File

@@ -833,7 +833,7 @@ define('pgadmin.browser.node', [
background: ${bgcolor} !important;
}
${fgcolor ? `
.${dynamic_class} span.file-name {
.${dynamic_class} span.file-name, .${dynamic_class} span.file-name:hover, .${dynamic_class} span.file-name.pseudo-active {
color: ${fgcolor} !important;
}
`:''}

4
web/pgadmin/browser/static/scss/_browser.scss
View File

@@ -53,8 +53,8 @@ samp,
border-width: 1px;
font-size: 1.15em;
color: $color-fg !important;
border-color: $border-color !important;
color: $color-fg;
border-color: $border-color;
background-color: $color-secondary;
}