mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
1) Added mouse over indication for breakpoint area in the Debugger. Fixes #2647
2) Added search text option to the Debugger panel. Fixes #2648 3) Port Debugger to React. Fixes #6132
This commit is contained in:
committed by
Akshay Joshi
parent
7e1e068370
commit
2adca6bbc4
@@ -114,6 +114,11 @@
|
||||
width: .9em;
|
||||
}
|
||||
|
||||
.breakpoints {
|
||||
width: .9em;
|
||||
cursor: pointer;
|
||||
}
|
||||
|
||||
.CodeMirror-foldgutter-open,
|
||||
.CodeMirror-foldgutter-folded {
|
||||
cursor: pointer;
|
||||
|
||||
Reference in New Issue
Block a user