Fix the CodeMirror dev tools button (#35757)

GitOrigin-RevId: af14fd8a637b9b71f1940c71c32bf57371bb2267
This commit is contained in:
Alf Eaton
2026-09-17 11:45:04 +00:00
committed by Copybot
parent c302bbaaaa
commit fd52dca3eb
@@ -19,7 +19,7 @@ export const codemirrorDevTools = () => {
}
const devToolsButton = ViewPlugin.define(view => {
const getContainer = () => document.querySelector('.ol-cm-toolbar-end')
const getContainer = () => document.querySelector('.ol-toolbar-layout-right')
const removeButton = () => {
getContainer()?.querySelector('#cm6-dev-tools-button')?.remove()
@@ -43,7 +43,7 @@ const devToolsButton = ViewPlugin.define(view => {
window.setTimeout(() => {
removeButton()
addButton()
})
}, 500)
return {
update(update) {