config: clarify reload font-size behavior

Fixes #1988
This commit is contained in:
Mitchell Hashimoto
2024-07-22 09:43:40 -07:00
parent a75ee29f2d
commit 52ce196068

View File

@ -111,6 +111,12 @@ const c = @cImport({
/// then you can get an odd numbered pixel size by specifying a half point. /// then you can get an odd numbered pixel size by specifying a half point.
/// ///
/// For example, 13.5pt @ 2px/pt = 27px /// For example, 13.5pt @ 2px/pt = 27px
///
/// Changing this configuration at runtime will only affect new terminals,
/// i.e. new windows, tabs, etc. Note that you may still not see the change
/// depending on your `window-inherit-font-size` setting. If that setting is
/// true, only the first window will be affected by this change since all
/// subsequent windows will inherit the font size of the previous window.
@"font-size": f32 = switch (builtin.os.tag) { @"font-size": f32 = switch (builtin.os.tag) {
// On macOS we default a little bigger since this tends to look better. This // On macOS we default a little bigger since this tends to look better. This
// is purely subjective but this is easy to modify. // is purely subjective but this is easy to modify.