mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2025-02-25 18:55:31 -06:00
Fix "View Filtered Rows" option.
This commit is contained in:
parent
af680b724d
commit
9c65b73f31
@ -1,6 +1,7 @@
|
||||
define(
|
||||
['jquery','alertify', 'pgadmin', 'pgadmin.browser', 'wcdocker'],
|
||||
function($, alertify, pgAdmin) {
|
||||
['jquery','alertify', 'pgadmin','codemirror', 'codemirror/mode/sql',
|
||||
'pgadmin.browser', 'wcdocker'],
|
||||
function($, alertify, pgAdmin, CodeMirror) {
|
||||
// Some scripts do export their object in the window only.
|
||||
// Generally the one, which do no have AMD support.
|
||||
var wcDocker = window.wcDocker,
|
||||
|
@ -232,6 +232,7 @@
|
||||
font-size: 10px;
|
||||
line-height: 1.428571429;
|
||||
border-radius: 10px;
|
||||
cursor: auto;
|
||||
}
|
||||
|
||||
.visibility-hidden {
|
||||
|
Loading…
Reference in New Issue
Block a user