From cda97b5451d46bcdb13f0bf5921726c2313ffa57 Mon Sep 17 00:00:00 2001 From: Kovid Goyal Date: Wed, 8 Nov 2023 19:35:02 +0530 Subject: [PATCH] string changes --- kitty/options/definition.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kitty/options/definition.py b/kitty/options/definition.py index 663424a7d..1594a6060 100644 --- a/kitty/options/definition.py +++ b/kitty/options/definition.py @@ -3181,7 +3181,7 @@ is supported. For example:: menu_map global "Actions::Launch something special" launch --hold --type=os-window sh -c "echo hello world" This will create a menu entry named "Launch something special" in an "Actions" menu in the macOS global menubar. -Sub-menus can be created by adding more levels separated by ::. +Sub-menus can be created by adding more levels separated by the :code:`::` characters. ''' )