12345678910111213141516171819202122232425262728293031 |
- local function config()
- require('telescope').setup({
- extensions = {
- -- ["ui-select"] = {
- -- require("telescope.themes").get_dropdown {
- -- -- even more opts
- -- }
- --
- -- -- pseudo code / specification for writing custom displays, like the one
- -- -- for "codeactions"
- -- -- specific_opts = {
- -- -- [kind] = {
- -- -- make_indexed = function(items) -> indexed_items, width,
- -- -- make_displayer = function(widths) -> displayer
- -- -- make_display = function(displayer) -> function(e)
- -- -- make_ordinal = function(e) -> string
- -- -- },
- -- -- -- for example to disable the custom builtin "codeactions" display
- -- -- do the following
- -- -- codeactions = false,
- -- -- }
- -- }
- }
- })
- require('telescope').load_extension('dap')
- require('telescope').load_extension('ui-select')
- end
- config()
|