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

Upgrade font awesome from v4 to v5. Fixes #5731

Browse Source
This commit is contained in:
Nikhil Mohite
2020-08-13 12:04:00 +05:30
committed by Akshay Joshi
parent 36574b25b6
commit 93adf6884f
41 changed files with 108 additions and 72 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
web/pgadmin/static/scss/_codemirror.overrides.scss
View File

@@ -120,10 +120,12 @@
.CodeMirror-foldgutter-open:after {
content: "\25BC";
font-weight: 900;
}
.CodeMirror-foldgutter-folded:after {
content: "\25B6";
font-weight: 900;
}