From df70e901af202358135779d8917279a177a40a8d Mon Sep 17 00:00:00 2001 From: Neil Date: Mon, 12 Aug 2024 18:23:55 +0100 Subject: [PATCH] docs: Add `"dock"` to `"terminal"` section (#16122) Documentation-related fix for #16121. Co-authored-by: Neil Alexander Release Notes: * N/A --- docs/src/configuring-zed.md | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/docs/src/configuring-zed.md b/docs/src/configuring-zed.md index 417d1920c7741161e7810ec4804ee34b2b853374..f839f03420492c86e7b83543b3fe794f1f1efd4c 100644 --- a/docs/src/configuring-zed.md +++ b/docs/src/configuring-zed.md @@ -1259,6 +1259,7 @@ List of `integer` column numbers "alternate_scroll": "off", "blinking": "terminal_controlled", "copy_on_select": false, + "dock": "bottom", "env": {}, "font_family": null, "font_features": null, @@ -1274,6 +1275,16 @@ List of `integer` column numbers } ``` +### Terminal: Dock + +- Description: Control the position of the dock +- Setting: `dock` +- Default: `bottom` + +**Options** + +`"bottom"`, `"left"` or `"right"` + ### Terminal: Alternate Scroll - Description: Set whether Alternate Scroll mode (DECSET code: `?1007`) is active by default. Alternate Scroll mode converts mouse scroll events into up / down key presses when in the alternate screen (e.g. when running applications like vim or less). The terminal can still set and unset this mode with ANSI escape codes.