From 79ee6bfcb75fafac63ce9e571781df1e9ca05a7d Mon Sep 17 00:00:00 2001
From: Andy Bunce <bunce.andy@gmail.com>
Date: Fri, 29 Aug 2025 16:09:27 +0100
Subject: [PATCH] [add] full screeen

---
 webapp/static/clients/codemirror/index.html | 3 +++
 webapp/static/clients/codemirror/script.js  | 2 ++
 2 files changed, 5 insertions(+)

diff --git a/webapp/static/clients/codemirror/index.html b/webapp/static/clients/codemirror/index.html
index dcce734..c046f13 100644
--- a/webapp/static/clients/codemirror/index.html
+++ b/webapp/static/clients/codemirror/index.html
@@ -96,6 +96,9 @@
                         <button id="sync" title="Sync changes to server" type="button" class="btn btn-light">
                             <i class="bi bi-arrow-repeat"></i>
                         </button>
+                        <button id="fullscreen" title="Full screen" type="button" class="btn btn-light">
+                            <i class="bi bi-arrows-fullscreen"></i>
+                        </button>
                     </div>
                     <div class="btn-group" role="group" aria-label="Third group">
 
diff --git a/webapp/static/clients/codemirror/script.js b/webapp/static/clients/codemirror/script.js
index 6bcd6e0..62ebb35 100644
--- a/webapp/static/clients/codemirror/script.js
+++ b/webapp/static/clients/codemirror/script.js
@@ -35,6 +35,8 @@ $("connect").onclick = e => { e.preventDefault(); connect() };
 
 $("search").onclick = e => lsp.openSearchPanel(view);
 
+$("fullscreen").onclick = e => $("editor").requestFullscreen();
+
 $("format").onclick = e => console.log("CMDS", lsp.listCommands(view));
 
 $("lint").onclick = async e => {