Sign up
gitcafe
/
zed
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
Code
Issues
Pulls
CI
Stacks
Search
Branches
Tags
More
View stargazers
0
Sign up
Code
Merge pull request #2167 from zed-industries/clear-terminal-highlights
Unverified
Reset search matches when the terminal is cleared
17e8172dc3
Mikayla Maki committed on 2/14/2023, 6:02:06 PM
· committed by GitHub
parents
88c6b89
8e9d95f
Files Changed
10 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
diagnostics/src
diagnostics/src
…
diagnostics.rs
diagnostics.rs
…
editor/src
editor/src
…
items.rs
items.rs
…
feedback/src
feedback/src
…
feedback_editor.rs
feedback_editor.rs
…
search/src
search/src
…
project_search.rs
project_search.rs
…
terminal/src
terminal/src
…
terminal.rs
terminal.rs
…
terminal_view/src
terminal_view/src
…
terminal_view.rs
terminal_view.rs
…
theme_testbench/src
theme_testbench/src
…
theme_testbench.rs
theme_testbench.rs
…
workspace/src
workspace/src
…
item.rs
item.rs
…
shared_screen.rs
shared_screen.rs
…
workspace.rs
workspace.rs
…