From fa193f0e5738b886ba37460589e2aa9fb371a209 Mon Sep 17 00:00:00 2001 From: Jan Prochazka Date: Mon, 4 Apr 2022 20:50:45 +0200 Subject: [PATCH] theme plugins info --- packages/web/src/settings/SettingsModal.svelte | 14 +++++++++++++- 1 file changed, 13 insertions(+), 1 deletion(-) diff --git a/packages/web/src/settings/SettingsModal.svelte b/packages/web/src/settings/SettingsModal.svelte index 82d995adb..b698e733a 100644 --- a/packages/web/src/settings/SettingsModal.svelte +++ b/packages/web/src/settings/SettingsModal.svelte @@ -1,6 +1,7 @@ @@ -104,6 +110,12 @@ ORDER BY {/each} +
+ More themes are available as plugins +
+ After installing theme plugin (try search "theme" in available extensions) new themes will be available here. +
+
Editor theme