feat: global configuration of results_title and prompt_title (#1817)

This commit is contained in:
Michael Benford
2022-04-08 13:17:54 -03:00
committed by GitHub
parent 6e7ee38292
commit 317371d37c
3 changed files with 38 additions and 2 deletions

View File

@@ -419,6 +419,27 @@ append(
Default: false]]
)
append(
"results_title",
"Results",
[[
Defines the default title of the results window. A false value
can be used to hide the title altogether.
Default: "Results"]]
)
append(
"prompt_title",
"Prompt",
[[
Defines the default title of the prompt window. A false value
can be used to hide the title altogether. Most of the times builtins
define a prompt_title which will be prefered over this default.
Default: "Prompt"]]
)
append(
"history",
{