Closed Boshen closed 8 months ago
GraphicalReportHandler::new() calls GraphicalTheme::default()
GraphicalReportHandler::new()
GraphicalTheme::default()
https://github.com/zkat/miette/blob/7ff4f874d693a665af4df40f4e94505013e3e262/src/handlers/graphical.rs#L52
which calls std::io::stdout().is_terminal() and std::io::stderr().is_terminal()
std::io::stdout().is_terminal()
std::io::stderr().is_terminal()
https://github.com/zkat/miette/blob/7ff4f874d693a665af4df40f4e94505013e3e262/src/handlers/theme.rs#L72
but this default theme is overridden by with_theme(theme).
with_theme(theme)
GraphicalReportHandler::new()
callsGraphicalTheme::default()
https://github.com/zkat/miette/blob/7ff4f874d693a665af4df40f4e94505013e3e262/src/handlers/graphical.rs#L52
which calls
std::io::stdout().is_terminal()
andstd::io::stderr().is_terminal()
https://github.com/zkat/miette/blob/7ff4f874d693a665af4df40f4e94505013e3e262/src/handlers/theme.rs#L72
but this default theme is overridden by
with_theme(theme)
.