From 11a22254d676554f0822344fd1b06e75f9c9898c Mon Sep 17 00:00:00 2001 From: Frans de Jonge Date: Thu, 13 May 2021 17:57:48 +0200 Subject: [PATCH] [doc] Fix random typo (#7676) --- frontend/dispatcher.lua | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/frontend/dispatcher.lua b/frontend/dispatcher.lua index 74f95f43c..e514a3e26 100644 --- a/frontend/dispatcher.lua +++ b/frontend/dispatcher.lua @@ -24,7 +24,7 @@ Each setting contains: * args: allowed values for string. * toggle: display name for args * separator: put a separator after in the menu list -* configurable: can be parsed from cre/kopt and used to set document.configurable. Should not be set manualy +* configurable: can be parsed from cre/kopt and used to set `document.configurable`. Should not be set manually --]]-- local CreOptions = require("ui/data/creoptions")