oak-team/oak-gpui
3
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Tweak behavior of selections when renaming

Browse Source
This commit is contained in:
Max Brunsfeld
2022-02-18 15:44:57 -08:00
parent f0a6e8cb9c
commit 80bca57bfa
5 changed files with 124 additions and 80 deletions
Download Patch File Download Diff File Expand all files Collapse all files
crates/zed/assets/themes/black.toml
+3 -3
View File
@@ -19,7 +19,7 @@ extends = "_base"
0 = "#00000052"
[selection]
host = { selection = "#3B57BC33", cursor = "$text.0.color" }
host = { selection = "#3B57BC55", cursor = "$text.0.color" }
guests = [
{ selection = "#FDF35133", cursor = "#FDF351" },
{ selection = "#4EACAD33", cursor = "#4EACAD" },
@@ -39,8 +39,8 @@ bad = "#b7372e"
[state]
active_line = "#161313"
highlighted_line = "#faca5033"
deleted_line = "#dd000022"
inserted_line = "#00dd0022"
deleted_line = "#dd000036"
inserted_line = "#00dd0036"
hover = "#00000033"
selected = "#00000088"
crates/zed/assets/themes/dark.toml
+3 -3
View File
@@ -19,7 +19,7 @@ extends = "_base"
0 = "#00000052"
[selection]
host = { selection = "#3B57BC33", cursor = "$text.0.color" }
host = { selection = "#3B57BC55", cursor = "$text.0.color" }
guests = [
{ selection = "#FDF35133", cursor = "#FDF351" },
{ selection = "#4EACAD33", cursor = "#4EACAD" },
@@ -39,8 +39,8 @@ bad = "#b7372e"
[state]
active_line = "#00000022"
highlighted_line = "#faca5033"
deleted_line = "#dd000044"
inserted_line = "#00dd0044"
deleted_line = "#dd000036"
inserted_line = "#00dd0036"
hover = "#00000033"
selected = "#00000088"
crates/zed/assets/themes/light.toml
+3 -3
View File
@@ -19,7 +19,7 @@ extends = "_base"
0 = "#0000000D"
[selection]
host = { selection = "#3B57BC33", cursor = "$text.0.color" }
host = { selection = "#3B57BC55", cursor = "$text.0.color" }
guests = [
{ selection = "#D0453B33", cursor = "#D0453B" },
{ selection = "#3B874B33", cursor = "#3B874B" },
@@ -39,8 +39,8 @@ bad = "#b7372e"
[state]
active_line = "#00000008"
highlighted_line = "#faca5033"
deleted_line = "#dd000044"
inserted_line = "#00dd0044"
deleted_line = "#dd000036"
inserted_line = "#00dd0036"
hover = "#0000000D"
selected = "#0000001c"