You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
And pushes the right contents, here is what we feed into
[{"message":"Linting is disabled for this query because it exceeds the maximum length.","fromLine":0,"fromColumn":0,"toLine":0,"toColumn":0,"severity":"warning"}]
The code uses #4861
It does not enter
codemirror5/addon/lint/lint.js
Line 253 in 9974ded
Because CodeMirror does
CodeMirror-lint-marker CodeMirror-lint-marker-warning
and not-mark-
Is this another bug ?
Anyway, let's continue :
codemirror5/addon/lint/lint.js
Lines 218 to 221 in 9974ded
And pushes the right contents, here is what we feed into
https://github.com/phpmyadmin/phpmyadmin/blob/e5826048d8e97ce166bf138af6e2e9891b0fec36/js/src/codemirror/addon/lint/sql-lint.js#L8
Even if I use
message
it seems to not display the tooltipThat's really strange
CodeMirror: 5.65.10
The text was updated successfully, but these errors were encountered: