From 50909107c48944885106974234be1cfdea968d38 Mon Sep 17 00:00:00 2001 From: Ben Linsay Date: Sun, 30 Jun 2024 14:36:58 -0400 Subject: [PATCH 1/2] Add a line to the README about config reload --- README.md | 6 ++++++ 1 file changed, 6 insertions(+) diff --git a/README.md b/README.md index be196b63b..d64580812 100644 --- a/README.md +++ b/README.md @@ -124,6 +124,12 @@ documented in the comments. You also can search for the [public config files](https://github.com/search?q=path%3Aghostty%2Fconfig&type=code) of many Ghostty users for examples and inspiration. +> [!NOTE] +> +> Configuration can be reloaded on the fly with the `reload_config` +>command. Not all configuration options can change without restarting Ghostty. +>Any options that require a restart should be documented. + #### Configuration Errors If your configuration file has any errors, Ghostty does its best to ignore From f203124de0b6e12b498c3712cd07080a09ea7fa2 Mon Sep 17 00:00:00 2001 From: Mitchell Hashimoto Date: Sun, 30 Jun 2024 19:56:54 -0700 Subject: [PATCH 2/2] prettier --- README.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/README.md b/README.md index d64580812..864b56aa1 100644 --- a/README.md +++ b/README.md @@ -127,8 +127,8 @@ of many Ghostty users for examples and inspiration. > [!NOTE] > > Configuration can be reloaded on the fly with the `reload_config` ->command. Not all configuration options can change without restarting Ghostty. ->Any options that require a restart should be documented. +> command. Not all configuration options can change without restarting Ghostty. +> Any options that require a restart should be documented. #### Configuration Errors