Remove unused FlatShapes And/Or (#14476)

# Description
This removes the need for the `shape_and` and `shape_or` entries in the
themes. We did not color those underlying FlatShapes or operators
differently.

Closes #14372
# User-Facing Changes
Our theme handling currently doesn't reject invalid entries so should
not cause an error. The non-functional nature was already documented.
This commit is contained in:
Stefan Holderbach
2024-11-29 22:23:40 +01:00
committed by GitHub
parent 6bc695f251
commit acca56f77c
7 changed files with 2 additions and 22 deletions

View File

@ -26,7 +26,6 @@ export def dark-theme [] {
block: white
hints: dark_gray
search_result: { bg: red fg: white }
shape_and: purple_bold
shape_binary: purple_bold
shape_block: blue_bold
shape_bool: light_cyan
@ -53,7 +52,6 @@ export def dark-theme [] {
shape_matching_brackets: { attr: u }
shape_nothing: light_cyan
shape_operator: yellow
shape_or: purple_bold
shape_pipe: purple_bold
shape_range: yellow_bold
shape_record: cyan_bold
@ -96,7 +94,6 @@ export def light-theme [] {
block: dark_gray
hints: dark_gray
search_result: { fg: white bg: red }
shape_and: purple_bold
shape_binary: purple_bold
shape_block: blue_bold
shape_bool: light_cyan
@ -123,7 +120,6 @@ export def light-theme [] {
shape_matching_brackets: { attr: u }
shape_nothing: light_cyan
shape_operator: yellow
shape_or: purple_bold
shape_pipe: purple_bold
shape_range: yellow_bold
shape_record: cyan_bold
@ -136,4 +132,4 @@ export def light-theme [] {
shape_vardecl: purple
shape_raw_string: light_purple
}
}
}