From fd52dca3eb16a828796f7bbbce35a5663148f8c7 Mon Sep 17 00:00:00 2001
From: Alf Eaton <alf.eaton@overleaf.com>
Date: Mon, 3 Aug 2026 11:13:06 +0100
Subject: [PATCH] Fix the CodeMirror dev tools button (#35757)

GitOrigin-RevId: af14fd8a637b9b71f1940c71c32bf57371bb2267
---
 .../source-editor/languages/latex/codemirror-dev-tools.ts     | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/services/web/frontend/js/features/source-editor/languages/latex/codemirror-dev-tools.ts b/services/web/frontend/js/features/source-editor/languages/latex/codemirror-dev-tools.ts
index 8fbe81936c..a990a2dce5 100644
--- a/services/web/frontend/js/features/source-editor/languages/latex/codemirror-dev-tools.ts
+++ b/services/web/frontend/js/features/source-editor/languages/latex/codemirror-dev-tools.ts
@@ -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) {