2022-08-30 12:43:04 +02:00
|
|
|
require('telescope').load_extension('lsp_handlers')
|
2023-03-14 16:52:36 +01:00
|
|
|
local trouble = require('trouble.providers.telescope')
|
2022-08-30 12:43:04 +02:00
|
|
|
require('telescope').setup({
|
2023-04-11 13:34:37 +02:00
|
|
|
defaults = {
|
|
|
|
mappings = {
|
2023-03-14 16:52:36 +01:00
|
|
|
i = { ["<c-t>"] = trouble.open_with_trouble },
|
|
|
|
n = { ["<c-t>"] = trouble.open_with_trouble },
|
|
|
|
},
|
2023-04-11 13:34:37 +02:00
|
|
|
path_display = { "smart" },
|
2022-12-22 19:22:41 +01:00
|
|
|
},
|
2023-04-11 13:34:37 +02:00
|
|
|
pickers = {
|
|
|
|
live_grep = {
|
|
|
|
results_title = false,
|
|
|
|
layout_strategy = 'vertical',
|
|
|
|
dynamic_preview_title = true,
|
|
|
|
sorting_strategy = 'ascending',
|
|
|
|
additional_args = { '--trim' },
|
|
|
|
layout_config = {
|
|
|
|
prompt_position = 'top',
|
|
|
|
width = 0.95,
|
|
|
|
height = 0.95,
|
|
|
|
mirror = true,
|
|
|
|
--flex = {
|
|
|
|
-- flip_columns = 100,
|
|
|
|
-- flip_lines = 10,
|
|
|
|
-- vertical = {
|
|
|
|
-- mirror = false,
|
|
|
|
-- },
|
|
|
|
-- horizontal = {
|
|
|
|
-- mirror = false
|
|
|
|
-- },
|
|
|
|
--},
|
|
|
|
}
|
|
|
|
},
|
|
|
|
find_files = {
|
|
|
|
theme = "dropdown",
|
|
|
|
layout_config = {
|
|
|
|
horizontal = { width = 0.5 }
|
2022-12-22 19:22:41 +01:00
|
|
|
}
|
|
|
|
}
|
|
|
|
},
|
2023-04-11 13:34:37 +02:00
|
|
|
extensions = {
|
|
|
|
lsp_handlers = {
|
|
|
|
code_action = {
|
|
|
|
telescope = require('telescope.themes').get_dropdown({}),
|
|
|
|
},
|
|
|
|
},
|
|
|
|
},
|
2022-08-30 12:43:04 +02:00
|
|
|
})
|