merge commit

2025-06-17 23:50:16 +01:00
parent b0670d1e6c 3a40719e54
commit 42847f7bfb
25 changed files with 5387 additions and 102 deletions
@@ -0,0 +1,22 @@
+use super::ColorTheme;
+
+impl ColorTheme {
+    /// Author : Jakub Bartodziej <kubabartodziej@gmail.com>
+    /// Theme uses the gruvbox dark palette with standard contrast <https://github.com/morhetz/gruvbox>
+    pub const THEME: ColorTheme = ColorTheme {
+        name: "Theme",
+        dark: true,
+        bg: "#1b1b1b",
+        cursor: "#de5252",      // fg4
+        selection: "#28323B",   // bg2
+        comments: "#444444",    // gray1
+        functions: "#7CCCC7",   // green1
+        keywords: "#6C81E0",    // red1
+        literals: "#A3ABFF",    // fg1
+        numerics: "#8A46CF",    // purple1
+        punctuation: "#99C9C9", // orange1
+        strs: "#618c84",        // aqua1
+        types: "#B8B9D4",       // yellow1
+        special: "#de5252",     // blue1
+    };
+}