From 243557cb7ba021df6348ab415c6e4ce8fc681f7b Mon Sep 17 00:00:00 2001 From: Thomas Buckley-Houston Date: Thu, 17 Aug 2023 15:38:13 -0500 Subject: [PATCH] docs: update `workspace` config key to `workspaces` (#1174) --- docs/docs/config/config.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/docs/docs/config/config.md b/docs/docs/config/config.md index 3918c66..50b1d7f 100644 --- a/docs/docs/config/config.md +++ b/docs/docs/config/config.md @@ -166,7 +166,7 @@ filter_mode_shell_up_key_binding = "session" Defaults to the value specified for filter_mode. -### `workspace` +### `workspaces` This flag enables a pseudo filter-mode named "workspace": the filter is automatically activated when you are in a git repository. Defaults to false.