fix: search panel position in response (#2510)

Co-authored-by: liyasthomas <liyascthomas@gmail.com>
This commit is contained in:
Khusroo Hayat 2022-07-25 13:58:02 +05:00 committed by GitHub
parent c0e3a2be0b
commit d335ac1d80
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -61,6 +61,8 @@ export const baseTheme = EditorView.theme({
},
".cm-panels.cm-panels-top": {
borderBottom: "1px solid var(--divider-light-color)",
top: "var(--lower-tertiary-sticky-fold) !important",
"z-index": "10",
},
".cm-panels.cm-panels-bottom": {
borderTop: "1px solid var(--divider-light-color)",
@ -388,5 +390,7 @@ export const basicSetup: Extension = [
...completionKeymap,
...lintKeymap,
]),
search(),
search({
top: true,
}),
]