diff --git a/assets/settings/default.json b/assets/settings/default.json index 3e6d9875fc..73c73636f6 100644 --- a/assets/settings/default.json +++ b/assets/settings/default.json @@ -68,8 +68,7 @@ // Settings specific to the terminal "terminal": { // What shell to use when opening a terminal. May take 3 values: - // 1. Use the system's terminal configuration (e.g. $TERM). Note this is not - // A substitution, only an exact text match + // 1. Use the system's default terminal configuration (e.g. $TERM). // "shell": "system" // 2. A program: // "shell": { @@ -107,10 +106,10 @@ "env": [ //["KEY", "value1:value2"] ] - //Set the terminal's font size. If this option is not listed, + //Set the terminal's font size. If this option is not included, //the terminal will default to matching the buffer's font size. //"font_size": "15" - //Set the terminal's font family. If this option is not listed, + //Set the terminal's font family. If this option is not included, //the terminal will default to matching the buffer's font family. //"font_family": "Zed Mono" }, diff --git a/crates/terminal/src/terminal_element.rs b/crates/terminal/src/terminal_element.rs index 18956ded81..3406b4b9e1 100644 --- a/crates/terminal/src/terminal_element.rs +++ b/crates/terminal/src/terminal_element.rs @@ -427,7 +427,7 @@ fn make_text_style(font_cache: &FontCache, settings: &Settings) -> TextStyle { .terminal_overrides .font_family .as_ref() - .and_then(|family_name| dbg!(font_cache.load_family(&[family_name]).log_err())) + .and_then(|family_name| font_cache.load_family(&[family_name]).log_err()) .or_else(|| { settings .terminal_defaults