diff options
| author | Michael Benford <michael@michaelbenford.net> | 2022-04-08 13:17:54 -0300 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2022-04-08 18:17:54 +0200 |
| commit | 317371d37c21216c7042fc7b2e8bf0aeb601bf59 (patch) | |
| tree | 7454d6332d8da8908347c092fdb1d1cb94e8f750 /lua/telescope | |
| parent | 6e7ee3829225d5c97c1ebfff686050142ffe5867 (diff) | |
feat: global configuration of results_title and prompt_title (#1817)
Diffstat (limited to 'lua/telescope')
| -rw-r--r-- | lua/telescope/config.lua | 21 | ||||
| -rw-r--r-- | lua/telescope/pickers.lua | 4 |
2 files changed, 23 insertions, 2 deletions
diff --git a/lua/telescope/config.lua b/lua/telescope/config.lua index 26f5845..7b08dc6 100644 --- a/lua/telescope/config.lua +++ b/lua/telescope/config.lua @@ -420,6 +420,27 @@ append( ) 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", { path = vim.fn.stdpath "data" .. os_sep .. "telescope_history", diff --git a/lua/telescope/pickers.lua b/lua/telescope/pickers.lua index 5a82e16..d83d1ba 100644 --- a/lua/telescope/pickers.lua +++ b/lua/telescope/pickers.lua @@ -64,8 +64,8 @@ function Picker:new(opts) local layout_strategy = get_default(opts.layout_strategy, config.values.layout_strategy) local obj = setmetatable({ - prompt_title = get_default(opts.prompt_title, "Prompt"), - results_title = get_default(opts.results_title, "Results"), + prompt_title = get_default(opts.prompt_title, config.values.prompt_title), + results_title = get_default(opts.results_title, config.values.results_title), -- either whats passed in by the user or whats defined by the previewer preview_title = opts.preview_title, |
