mirrors/zed
1
0
Fork 0
mirror of https://github.com/zed-industries/zed.git synced 2025-02-10 20:29:05 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 9

terminal: Add coloration to task icons based on status (#12066)

Browse source 
Release Notes:

- Fixes: ([#11968](https://github.com/zed-industries/zed/issues/11968)).

Adds colouration to task icons in terminal based off status


![image](https://github.com/zed-industries/zed/assets/147033096/32578358-3da8-4082-9212-637dcd346576)
This commit is contained in:
versecafe 2024-05-20 18:26:04 -05:00 committed by GitHub
parent 42ea2be1b4
commit f2357c71e1
No known key found for this signature in database
GPG key ID: B5690EEEBB952194
1 changed files with 7 additions and 7 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

14
crates/terminal_view/src/terminal_view.rs
View file

@ -786,23 +786,23 @@ impl Item for TerminalView {
fn tab_content(&self, params: TabContentParams, cx: &WindowContext) -> AnyElement { fn tab_content(&self, params: TabContentParams, cx: &WindowContext) -> AnyElement {
let terminal = self.terminal().read(cx); let terminal = self.terminal().read(cx);
let title = terminal.title(true); let title = terminal.title(true);
let icon = match terminal.task() { let (icon, icon_color) = match terminal.task() {
Some(terminal_task) => match &terminal_task.status { Some(terminal_task) => match &terminal_task.status {
TaskStatus::Unknown => IconName::ExclamationTriangle, TaskStatus::Unknown => (IconName::ExclamationTriangle, Color::Warning),
TaskStatus::Running => IconName::Play, TaskStatus::Running => (IconName::Play, Color::Default),
TaskStatus::Completed { success } => { TaskStatus::Completed { success } => {
if *success { if *success {
IconName::Check (IconName::Check, Color::Success)
} else { } else {
IconName::XCircle (IconName::XCircle, Color::Error)
} }
} }
}, },
None => IconName::Terminal, None => (IconName::Terminal, Color::Muted),
}; };
h_flex() h_flex()
.gap_2() .gap_2()
.child(Icon::new(icon)) .child(Icon::new(icon).color(icon_color))
.child(Label::new(title).color(if params.selected { .child(Label::new(title).color(if params.selected {
Color::Default Color::Default
} else { } else {