From 53e621ba53696c53cfa37d0cecc6071498fcd53a Mon Sep 17 00:00:00 2001
From: Jon Eugster
Date: Sun, 25 Aug 2024 22:58:31 +0200
Subject: [PATCH] reorganise settings
---
client/src/Popups/Settings.tsx | 30 +++++++++++++++++-------------
1 file changed, 17 insertions(+), 13 deletions(-)
diff --git a/client/src/Popups/Settings.tsx b/client/src/Popups/Settings.tsx
index 11aa6c87..019f2ec3 100644
--- a/client/src/Popups/Settings.tsx
+++ b/client/src/Popups/Settings.tsx
@@ -70,15 +70,26 @@ const SettingsPopup: FC<{
- User settings
- These settings are not preserved unless you opt-in to save them.
+ Editor settings
{modifyPreferences("abbreviationCharacter", ev.target.value)}}
value={preferences.abbreviationCharacter} />
-
+
+ {modifyPreferences("wordWrap", !preferences.wordWrap)}}
+ checked={preferences.wordWrap} />
+
+
+
+ {modifyPreferences("acceptSuggestionOnEnter", !preferences.acceptSuggestionOnEnter)}}
+ checked={preferences.acceptSuggestionOnEnter} />
+
+
+
+ User settings
+
-
- {modifyPreferences("wordWrap", !preferences.wordWrap)}}
- checked={preferences.wordWrap} />
-
-
-
- {modifyPreferences("acceptSuggestionOnEnter", !preferences.acceptSuggestionOnEnter)}}
- checked={preferences.acceptSuggestionOnEnter} />
-
-
+
+ Save
+ Editor settings and User settings are not preserved unless you opt-in to save them.
{modifyPreferences("saveInLocalStore", !preferences.saveInLocalStore)}} checked={preferences.saveInLocalStore} />