diff options
| author |  mitchell <70453897+orbitalquark@users.noreply.github.com> | 2021-06-04 13:23:01 -0400 |
|---|---|---|
| committer | mitchell <70453897+orbitalquark@users.noreply.github.com> | 2021-06-04 13:23:01 -0400 |
| commit | cb080a63dc6855409300b02195a9d154845ca66d (patch) | |
| tree | 7d867281e0394f5cdf34158d8a4f150329d41cca /themes | |
| parent | 5529817b266d5349357f46c14e0351573c5d6f52 (diff) | |
Allow syntax highlighting to be preserved in selected text.
Also fix some visual issues with selected and inactive text.
Diffstat (limited to 'themes')
| -rw-r--r-- | themes/dark.lua | 10 | ||||
| -rw-r--r-- | themes/light.lua | 10 |
2 files changed, 12 insertions, 8 deletions
diff --git a/themes/dark.lua b/themes/dark.lua index 3336eebf..f0f96a1e 100644 --- a/themes/dark.lua +++ b/themes/dark.lua @@ -84,10 +84,12 @@ styles.variable = {fore = colors.light_blue} styles.whitespace = {} -- Element colors. -view.element_color[view.ELEMENT_SELECTION_TEXT] = colors.light_black -view.element_color[view.ELEMENT_SELECTION_BACK] = colors.grey -view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_TEXT] = colors.light_black -view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_BACK] = colors.grey +-- view.element_color[view.ELEMENT_SELECTION_TEXT] = colors.light_grey +view.element_color[view.ELEMENT_SELECTION_BACK] = colors.grey_black +-- view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_TEXT] = colors.light_grey +view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_BACK] = colors.grey_black +-- view.element_color[view.ELEMENT_SELECTION_INACTIVE_TEXT] = colors.light_grey +view.element_color[view.ELEMENT_SELECTION_INACTIVE_BACK] = colors.light_black view.element_color[view.ELEMENT_CARET] = colors.grey -- view.element_color[view.ELEMENT_CARET_ADDITIONAL] = view.element_color[view.ELEMENT_CARET_LINE_BACK] = colors.light_black diff --git a/themes/light.lua b/themes/light.lua index 6aaa9a5c..b91d401c 100644 --- a/themes/light.lua +++ b/themes/light.lua @@ -84,10 +84,12 @@ styles.variable = {fore = colors.dark_lavender} styles.whitespace = {} -- Element colors. -view.element_color[view.ELEMENT_SELECTION_TEXT] = colors.light_black -view.element_color[view.ELEMENT_SELECTION_BACK] = colors.light_grey -view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_TEXT] = colors.light_black -view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_BACK] = colors.light_grey +-- view.element_color[view.ELEMENT_SELECTION_TEXT] = colors.light_black +view.element_color[view.ELEMENT_SELECTION_BACK] = colors.grey_white +-- view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_TEXT] = colors.light_black +view.element_color[view.ELEMENT_SELECTION_ADDITIONAL_BACK] = colors.grey_white +-- view.element_color[view.ELEMENT_SELECTION_INACTIVE_TEXT] = colors.light_black +view.element_color[view.ELEMENT_SELECTION_INACTIVE_BACK] = colors.dark_white view.element_color[view.ELEMENT_CARET] = colors.grey_black -- view.element_color[view.ELEMENT_CARET_ADDITIONAL] = view.element_color[view.ELEMENT_CARET_LINE_BACK] = colors.dark_white |