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 #2253 from zed-industries/joseph/z-226-add-terminal-popup-menu
Unverified
Add terminal pop up menu
d2411a6c86
Petros Amoiridis committed on 3/13/2023, 9:47:44 AM
· committed by GitHub
parents
e8b3d4e
726c8eb
Files Changed
12 files changed
Line totals unavailable
Ignore whitespace
Unified
Split
crates
crates
…
feedback/src
feedback/src
…
deploy_feedback_button.rs
deploy_feedback_button.rs
…
gpui/src
gpui/src
…
app.rs
app.rs
…
project/src
project/src
…
terminals.rs
terminals.rs
…
terminal/src
terminal/src
…
terminal.rs
terminal.rs
…
terminal_view/src
terminal_view/src
…
terminal_button.rs
terminal_button.rs
…
terminal_view.rs
terminal_view.rs
…
workspace
workspace
…
src
src
…
pane.rs
pane.rs
…
terminal_button.rs
terminal_button.rs
…
workspace.rs
workspace.rs
…
Cargo.toml
Cargo.toml
…
zed/src
zed/src
…
zed.rs
zed.rs
…