mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-05 10:20:51 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 12
zed/crates/terminal_view/src
History
Antonio Scandurra 634b699281 Allow customization of Pane tab bar buttons
2023-05-09 15:05:29 +02:00
..
persistence.rs Changed SQLez migrations to be executed eagerly 2023-01-30 14:38:48 -08:00
terminal_button.rs Rename DockItem to Panel 2023-05-09 10:18:11 +02:00
terminal_element.rs Replace usages of is_parent_view_focused with is_self_focused 2023-05-05 10:08:22 +02:00
terminal_panel.rs Allow customization of Pane tab bar buttons 2023-05-09 15:05:29 +02:00
terminal_view.rs WIP: Start on TerminalPanel 2023-05-09 10:18:11 +02:00