From de223dba73570ea88e00c6459586d5a48cd01a9c Mon Sep 17 00:00:00 2001 From: vesdev <28784043+vesdev@users.noreply.github.com> Date: Tue, 5 Dec 2023 17:36:12 +0200 Subject: [PATCH 1/5] theme: add horizon-dark --- runtime/themes/horizon-dark.toml | 62 ++++++++++++++++++++++++++++++++ 1 file changed, 62 insertions(+) create mode 100644 runtime/themes/horizon-dark.toml diff --git a/runtime/themes/horizon-dark.toml b/runtime/themes/horizon-dark.toml new file mode 100644 index 000000000000..8e1fad476846 --- /dev/null +++ b/runtime/themes/horizon-dark.toml @@ -0,0 +1,62 @@ +# Syntax +string = "orange" +constant = "purple" +"constant.numeric" = "orange" +"constant.builtin" = "orange" +variable = "red" +comment = "green" +special = "purple" +"punctuation.bracket" = "purple" +keyword = "purple" +function = "blue" +label = "orange" +type = "orange" +namespace = "orange" + +# UI +"ui.background" = { bg = "bg", fg = "gray" } +"ui.background.separator" = "blue-gray" +"ui.text" = "white" +"ui.text.focus" = "green" +"ui.text.inactive" = "selection" +"ui.text.info" = "white" +"ui.cursor" = { modifiers = ["reversed"] } +"ui.cursor.primary" = { modifiers = ["reversed"] } +"ui.cursor.match" = { bg = "selection" } +"ui.gutter" = "gray" +"ui.gutter.selected" = "orange" +"ui.selection" = { bg = "selection" } +"ui.virtual.indent-guide" = { fg = "gray"} +"ui.statusline" = { bg = "dark-bg", fg = "blue-gray" } +"ui.popup" = { bg = "bg", fg = "gray" } +"ui.help" = { bg = "bg", fg = "white" } +"ui.menu" = { bg = "bg", fg = "white" } +"ui.menu.selected" = { bg = "bg", fg = "orange" } +"ui.window" = "selection" +"ui.bufferline" = { bg = "dark-bg", fg = "blue-gray" } +"ui.bufferline.active" = { bg = "dark-bg", fg = "orange" } + +"diagnostic" = { underline = { style = "curl" } } +"diagnostic.hint" = { underline = { color = "green", style = "curl" } } +"diagnostic.info" = { underline = { color = "blue", style = "curl" } } +"diagnostics.error" = { underline = { color = "red", style = "curl"} } +"diagnostics.warning" = { underline = { color = "orange", style = "curl"} } + +warning = { fg = "orange", modifiers = ["bold"] } +error = { fg = "red", modifiers = ["bold"] } +info = { fg = "blue", modifiers = ["bold"] } +hint = { fg = "green", modifiers = ["bold"] } + +[palette] +white = "#D5D8DA" +gray = "#2E303E" +blue-gray = "#6C6F93" +bg = "#1C1E26" +dark-bg = "#16161C" +pink = "#EE64AE" +selection = "#353747" +green = "#27D796" +orange = "#FAB795" +purple = "#B877DB" +red = "#E95678" +blue = "#25B2BC" From 5926c8734f78e8ffe905db5f3161450d3b673510 Mon Sep 17 00:00:00 2001 From: vesdev <28784043+vesdev@users.noreply.github.com> Date: Mon, 11 Dec 2023 08:26:17 +0200 Subject: [PATCH 2/5] fix whitespace color and gutter selected --- runtime/themes/horizon-dark.toml | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/runtime/themes/horizon-dark.toml b/runtime/themes/horizon-dark.toml index 8e1fad476846..034a85497769 100644 --- a/runtime/themes/horizon-dark.toml +++ b/runtime/themes/horizon-dark.toml @@ -24,9 +24,10 @@ namespace = "orange" "ui.cursor.primary" = { modifiers = ["reversed"] } "ui.cursor.match" = { bg = "selection" } "ui.gutter" = "gray" -"ui.gutter.selected" = "orange" +"ui.gutter.selected" = "blue-gray" "ui.selection" = { bg = "selection" } "ui.virtual.indent-guide" = { fg = "gray"} +"ui.virtual.whitespace" = { fg = "blue-gray" } "ui.statusline" = { bg = "dark-bg", fg = "blue-gray" } "ui.popup" = { bg = "bg", fg = "gray" } "ui.help" = { bg = "bg", fg = "white" } From 5f5e2ebc37b146f8c5112bd5199047faf4b7cd8b Mon Sep 17 00:00:00 2001 From: vesdev <28784043+vesdev@users.noreply.github.com> Date: Mon, 11 Dec 2023 08:36:48 +0200 Subject: [PATCH 3/5] taplo fmt --- runtime/themes/horizon-dark.toml | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/runtime/themes/horizon-dark.toml b/runtime/themes/horizon-dark.toml index 034a85497769..5d1c34cde99c 100644 --- a/runtime/themes/horizon-dark.toml +++ b/runtime/themes/horizon-dark.toml @@ -26,7 +26,7 @@ namespace = "orange" "ui.gutter" = "gray" "ui.gutter.selected" = "blue-gray" "ui.selection" = { bg = "selection" } -"ui.virtual.indent-guide" = { fg = "gray"} +"ui.virtual.indent-guide" = { fg = "gray" } "ui.virtual.whitespace" = { fg = "blue-gray" } "ui.statusline" = { bg = "dark-bg", fg = "blue-gray" } "ui.popup" = { bg = "bg", fg = "gray" } @@ -40,8 +40,8 @@ namespace = "orange" "diagnostic" = { underline = { style = "curl" } } "diagnostic.hint" = { underline = { color = "green", style = "curl" } } "diagnostic.info" = { underline = { color = "blue", style = "curl" } } -"diagnostics.error" = { underline = { color = "red", style = "curl"} } -"diagnostics.warning" = { underline = { color = "orange", style = "curl"} } +"diagnostics.error" = { underline = { color = "red", style = "curl" } } +"diagnostics.warning" = { underline = { color = "orange", style = "curl" } } warning = { fg = "orange", modifiers = ["bold"] } error = { fg = "red", modifiers = ["bold"] } From 09b7f885f5b1d6721713daa4f2611b4198ed19bb Mon Sep 17 00:00:00 2001 From: vesdev <28784043+vesdev@users.noreply.github.com> Date: Sat, 16 Dec 2023 17:59:32 +0200 Subject: [PATCH 4/5] markup and color tweaks markup colors diff colors better comment and menu colors --- runtime/themes/horizon-dark.toml | 49 +++++++++++++++++++++----------- 1 file changed, 33 insertions(+), 16 deletions(-) diff --git a/runtime/themes/horizon-dark.toml b/runtime/themes/horizon-dark.toml index 5d1c34cde99c..aec113dfa098 100644 --- a/runtime/themes/horizon-dark.toml +++ b/runtime/themes/horizon-dark.toml @@ -4,7 +4,7 @@ constant = "purple" "constant.numeric" = "orange" "constant.builtin" = "orange" variable = "red" -comment = "green" +comment = "light-gray" special = "purple" "punctuation.bracket" = "purple" keyword = "purple" @@ -13,45 +13,62 @@ label = "orange" type = "orange" namespace = "orange" -# UI +# User Interface "ui.background" = { bg = "bg", fg = "gray" } -"ui.background.separator" = "blue-gray" +"ui.background.separator" = "light-gray" "ui.text" = "white" "ui.text.focus" = "green" "ui.text.inactive" = "selection" -"ui.text.info" = "white" +"ui.text.info" = "orange" "ui.cursor" = { modifiers = ["reversed"] } "ui.cursor.primary" = { modifiers = ["reversed"] } "ui.cursor.match" = { bg = "selection" } "ui.gutter" = "gray" -"ui.gutter.selected" = "blue-gray" +"ui.gutter.selected" = "light-gray" "ui.selection" = { bg = "selection" } -"ui.virtual.indent-guide" = { fg = "gray" } -"ui.virtual.whitespace" = { fg = "blue-gray" } -"ui.statusline" = { bg = "dark-bg", fg = "blue-gray" } -"ui.popup" = { bg = "bg", fg = "gray" } -"ui.help" = { bg = "bg", fg = "white" } -"ui.menu" = { bg = "bg", fg = "white" } -"ui.menu.selected" = { bg = "bg", fg = "orange" } +"ui.virtual.indent-guide" = { fg = "gray"} +"ui.virtual.whitespace" = { fg = "light-gray"} +"ui.statusline" = { bg = "dark-bg", fg = "light-gray" } +"ui.popup" = { bg = "dark-bg", fg = "orange" } +"ui.help" = { bg = "dark-bg", fg = "orange" } +"ui.menu" = { bg = "dark-bg", fg = "light-gray" } +"ui.menu.selected" = { bg = "selection", fg = "orange" } "ui.window" = "selection" -"ui.bufferline" = { bg = "dark-bg", fg = "blue-gray" } +"ui.bufferline" = { bg = "dark-bg", fg = "light-gray" } "ui.bufferline.active" = { bg = "dark-bg", fg = "orange" } +# Diagnostics "diagnostic" = { underline = { style = "curl" } } "diagnostic.hint" = { underline = { color = "green", style = "curl" } } "diagnostic.info" = { underline = { color = "blue", style = "curl" } } -"diagnostics.error" = { underline = { color = "red", style = "curl" } } -"diagnostics.warning" = { underline = { color = "orange", style = "curl" } } +"diagnostics.error" = { underline = { color = "red", style = "curl"} } +"diagnostics.warning" = { underline = { color = "orange", style = "curl"} } warning = { fg = "orange", modifiers = ["bold"] } error = { fg = "red", modifiers = ["bold"] } info = { fg = "blue", modifiers = ["bold"] } hint = { fg = "green", modifiers = ["bold"] } +# Markup +"markup.heading" = "pink" +"markup.list" = "light-gray" +"markup.list.checked" = "green" +"markup.list.unchecked" = "light-gray" +"markup.bold" = { modifiers = ["bold"] } +"markup.italic" = { modifiers = ["italic"] } +"markup.strikethrough" = { modifiers = ["crossed_out"] } +"markup.link" = "blue" +"markup.quote" = "orange" +"markup.raw" = "orange" + +"diff.plus" = "green" +"diff.minus" = "red" +"diff.delta" = "orange" + [palette] white = "#D5D8DA" gray = "#2E303E" -blue-gray = "#6C6F93" +light-gray = "#6C6F93" bg = "#1C1E26" dark-bg = "#16161C" pink = "#EE64AE" From 4f2e23ea483debdeea1d892f7fbbcc224f1b6200 Mon Sep 17 00:00:00 2001 From: vesdev <28784043+vesdev@users.noreply.github.com> Date: Thu, 1 Feb 2024 16:03:43 +0200 Subject: [PATCH 5/5] horizon-dark: fix constructor color makes Some and None to look better and more like the vscode theme --- runtime/themes/horizon-dark.toml | 1 + 1 file changed, 1 insertion(+) diff --git a/runtime/themes/horizon-dark.toml b/runtime/themes/horizon-dark.toml index aec113dfa098..2ab10e9116ae 100644 --- a/runtime/themes/horizon-dark.toml +++ b/runtime/themes/horizon-dark.toml @@ -11,6 +11,7 @@ keyword = "purple" function = "blue" label = "orange" type = "orange" +constructor = "orange" namespace = "orange" # User Interface