From 7354fb5b4af4d5e0276217acf2106b002b5429cd Mon Sep 17 00:00:00 2001 From: Elian Doran Date: Sun, 27 Oct 2024 12:41:53 +0200 Subject: [PATCH] client,server: List syntax highlighting themes --- .../widgets/type_widgets/content_widget.js | 2 ++ .../options/appearance/highlighting.js | 34 +++++++++++++++++++ src/routes/api/options.ts | 18 ++++++++++ src/routes/routes.ts | 1 + 4 files changed, 55 insertions(+) create mode 100644 src/public/app/widgets/type_widgets/options/appearance/highlighting.js diff --git a/src/public/app/widgets/type_widgets/content_widget.js b/src/public/app/widgets/type_widgets/content_widget.js index d50252289..e6be0c32f 100644 --- a/src/public/app/widgets/type_widgets/content_widget.js +++ b/src/public/app/widgets/type_widgets/content_widget.js @@ -34,6 +34,7 @@ import BackendLogWidget from "./content/backend_log.js"; import AttachmentErasureTimeoutOptions from "./options/other/attachment_erasure_timeout.js"; import RibbonOptions from "./options/appearance/ribbon.js"; import LocalizationOptions from "./options/appearance/i18n.js"; +import HighlightingOptions from "./options/appearance/highlighting.js"; const TPL = `