mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
UI tweaks for the query history.
This commit is contained in:
committed by
Dave Page
parent
1291841d98
commit
e2cbaaef71
@@ -118,6 +118,7 @@
|
||||
.sql-editor-history-container {
|
||||
height: 100%;
|
||||
overflow: auto;
|
||||
border-top: 1px solid #cccccc;
|
||||
}
|
||||
|
||||
.sql-status-cell {
|
||||
|
Reference in New Issue
Block a user