plugins/wildmenu: Fix renderer (#812)

This commit is contained in:
Kasper Seweryn 2023-12-13 20:27:53 +00:00 committed by GitHub
parent 04b0f2ae61
commit 13f22b5083
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 3 additions and 3 deletions

View file

@ -175,7 +175,7 @@ in {
``` ```
''; '';
render = helpers.mkNullOrOption types.str '' renderer = helpers.mkNullOrOption types.str ''
Sets the renderer to used to display the completions. Sets the renderer to used to display the completions.
See `|wilder-renderer|`. See `|wilder-renderer|`.
@ -237,7 +237,7 @@ in {
pipeline = pipeline =
helpers.ifNonNull' pipeline helpers.ifNonNull' pipeline
(map helpers.mkRaw pipeline); (map helpers.mkRaw pipeline);
render = helpers.mkRaw render; renderer = helpers.mkRaw renderer;
preHook = helpers.mkRaw preHook; preHook = helpers.mkRaw preHook;
postHook = helpers.mkRaw postHook; postHook = helpers.mkRaw postHook;
} }

View file

@ -36,7 +36,7 @@
) )
'' ''
]; ];
render = '' renderer = ''
wilder.wildmenu_renderer({ wilder.wildmenu_renderer({
-- highlighter applies highlighting to the candidates -- highlighter applies highlighting to the candidates
highlighter = wilder.basic_highlighter(), highlighter = wilder.basic_highlighter(),