From cce10d79cae56d3402271ffd6729c34be05bb036 Mon Sep 17 00:00:00 2001
From: Robbert van der Helm <mail@robbertvanderhelm.nl>
Date: Fri, 11 Nov 2022 17:34:35 +0100
Subject: [PATCH] Move Diopser's stylesheet

Since there's now a dedicated editor module directory
---
 plugins/diopser/src/editor.rs              | 2 +-
 plugins/diopser/src/{ => editor}/theme.css | 0
 2 files changed, 1 insertion(+), 1 deletion(-)
 rename plugins/diopser/src/{ => editor}/theme.css (100%)

diff --git a/plugins/diopser/src/editor.rs b/plugins/diopser/src/editor.rs
index 6a9ef180..6b11630b 100644
--- a/plugins/diopser/src/editor.rs
+++ b/plugins/diopser/src/editor.rs
@@ -55,7 +55,7 @@ pub(crate) fn create(
         assets::register_noto_sans_light(cx);
         assets::register_noto_sans_thin(cx);
 
-        cx.add_theme(include_str!("theme.css"));
+        cx.add_theme(include_str!("editor/theme.css"));
 
         Data {
             params: params.clone(),
diff --git a/plugins/diopser/src/theme.css b/plugins/diopser/src/editor/theme.css
similarity index 100%
rename from plugins/diopser/src/theme.css
rename to plugins/diopser/src/editor/theme.css