From 3d5919138d04eab4f5b1170c855942f9a0167b09 Mon Sep 17 00:00:00 2001 From: "Lu[ke] Wilson" Date: Wed, 1 Jan 2025 17:00:28 +0000 Subject: [PATCH] mock settings button --- index.html | 16 ++++++++++++++-- src/theme.js | 1 + 2 files changed, 15 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 88a9464..8de18f2 100644 --- a/index.html +++ b/index.html @@ -9,8 +9,13 @@
-

nudelsalat

-

by pastagang

+ +

nudelsalat

+

by pastagang

+
+
@@ -95,6 +100,13 @@

nudelsalat

+ + diff --git a/src/theme.js b/src/theme.js index d440f08..36fffa6 100644 --- a/src/theme.js +++ b/src/theme.js @@ -41,6 +41,7 @@ let theme = EditorView.theme( // Let's add settings for this!!!!!!!!!! // "border-left-width": "11px", // ok. i think it would anyway be better if the cursor had a nametag but i still haven't found where this happens in flok + // yes! }, ".cm-activeLine, .cm-activeLineGutter": { "background-color": "#aaaaaa20",