pub struct Gui {
pub size: Option<f32>,
pub font: Option<String>,
pub terminal: Option<String>,
pub background: Option<String>,
pub foreground: Option<String>,
pub editor: Option<String>,
pub proportional: Option<bool>,
pub inline_images: Option<bool>,
pub colors: HashMap<String, String>,
}Expand description
The window front end (rmut-egui). The terminal front end never reads these.
Fields§
§size: Option<f32>Text size in points (14 when unset). Ctrl+= / Ctrl+- / Ctrl+0 zoom the whole window at runtime on top of this.
font: Option<String>Path to a .ttf/.otf file used as the window’s monospace face (egui’s built-in face when unset).
terminal: Option<String>The terminal emulator that hosts $EDITOR and ! commands
($TERMINAL, then foot/alacritty/kitty/xterm, when unset).
background: Option<String>The window canvas: what the text sits on and its default ink
(named colors or #rrggbb; a dark gray on off-white unset).
foreground: Option<String>§editor: Option<String>“builtin” opens drafts in the window’s own text editor; anything else (the default) hosts $EDITOR in the terminal.
proportional: Option<bool>The message body in a proportional face; the index, headers and indented (preformatted) lines stay monospace.
inline_images: Option<bool>image/* parts drawn in the message body under their
[-- Type: image/... --] markers (on unless turned off).
colors: HashMap<String, String>Window-only overrides of [colors], same keys and values
(plus #rrggbb): the window can wear its own palette while
the terminal keeps the shared one.