This website requires JavaScript.
Explore
Help
Sign In
IntenseWebs
/
pgadmin4
Watch
3
Star
0
Fork
0
mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced
2026-08-19 01:15:04 -05:00
Code
Issues
Packages
Projects
Releases
Wiki
Activity
Files
08d250e5efe615a290418c56962219c9a3eff6fc
pgadmin4
/
web
/
pgadmin
/
static
/
js
/
components
/
ReactCodeMirror
T
History
Pravesh Sharma
08d250e5ef
1. Fixed issues reported while testing changes for editor preferences.
#2659
...
2. Updated preferences docs.
2025-06-19 16:09:39 +05:30
..
components
1. Fixed issues reported while testing changes for editor preferences.
#2659
2025-06-19 16:09:39 +05:30
extensions
1) Added copyright header from the missing files.
2025-06-12 19:14:41 +05:30
CustomEditorView.js
1) Added copyright header from the missing files.
2025-06-12 19:14:41 +05:30
index.jsx
1. Fixed issues reported while testing changes for editor preferences.
#2659
2025-06-19 16:09:39 +05:30
