Kyle Kelley
82ceb4c091
Working on addressing large outputs, refactored as part of it. https://github.com/user-attachments/assets/48ea576c-e13a-4d09-b45a-4baa41bf6f72 Release Notes: - N/A
50 lines
1.5 KiB
Rust
50 lines
1.5 KiB
Rust
use gpui::{AnyElement, FontWeight, View, WindowContext};
|
|
use ui::{h_flex, prelude::*, v_flex, Label};
|
|
|
|
use crate::outputs::plain::TerminalOutput;
|
|
|
|
/// Userspace error from the kernel
|
|
pub struct ErrorView {
|
|
pub ename: String,
|
|
pub evalue: String,
|
|
pub traceback: View<TerminalOutput>,
|
|
}
|
|
|
|
impl ErrorView {
|
|
pub fn render(&self, cx: &mut WindowContext) -> Option<AnyElement> {
|
|
let theme = cx.theme();
|
|
|
|
let padding = cx.line_height() / 2.;
|
|
|
|
Some(
|
|
v_flex()
|
|
.gap_3()
|
|
.child(
|
|
h_flex()
|
|
.font_buffer(cx)
|
|
.child(
|
|
Label::new(format!("{}: ", self.ename.clone()))
|
|
// .size(LabelSize::Large)
|
|
.color(Color::Error)
|
|
.weight(FontWeight::BOLD),
|
|
)
|
|
.child(
|
|
Label::new(self.evalue.clone())
|
|
// .size(LabelSize::Large)
|
|
.weight(FontWeight::BOLD),
|
|
),
|
|
)
|
|
.child(
|
|
div()
|
|
.w_full()
|
|
.px(padding)
|
|
.py(padding)
|
|
.border_l_1()
|
|
.border_color(theme.status().error_border)
|
|
.child(self.traceback.clone()),
|
|
)
|
|
.into_any_element(),
|
|
)
|
|
}
|
|
}
|