vhaudiquet/deb-lite-xl
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Added in keyboard shortcuts to the project search module. (#188)

Browse Source
This commit is contained in:
Adam
2021-05-17 09:14:46 +02:00
committed by GitHub
parent bd4efa14a2
commit e54ffc49ea
1 changed files with 31 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files
data/plugins/projectsearch.lua
+31 -5
View File
@@ -265,12 +265,38 @@ command.add(ResultsView, {
["project-search:refresh"] = function() ["project-search:refresh"] = function()
core.active_view:refresh() core.active_view:refresh()
end, end,
["project-search:move-to-previous-page"] = function()
local view = core.active_view
view.scroll.to.y = view.scroll.to.y - view.size.y
end,
["project-search:move-to-next-page"] = function()
local view = core.active_view
view.scroll.to.y = view.scroll.to.y + view.size.y
end,
["project-search:move-to-start-of-doc"] = function()
local view = core.active_view
view.scroll.to.y = 0
end,
["project-search:move-to-end-of-doc"] = function()
local view = core.active_view
view.scroll.to.y = view:get_scrollable_size()
end
}) })
keymap.add { keymap.add {
["f5"] = "project-search:refresh", ["f5"] = "project-search:refresh",
["ctrl+shift+f"] = "project-search:find", ["ctrl+shift+f"] = "project-search:find",
["up"] = "project-search:select-previous", ["up"] = "project-search:select-previous",
["down"] = "project-search:select-next", ["down"] = "project-search:select-next",
["return"] = "project-search:open-selected", ["return"] = "project-search:open-selected",
["pageup"] = "project-search:move-to-previous-page",
["pagedown"] = "project-search:move-to-next-page",
["ctrl+home"] = "project-search:move-to-start-of-doc",
["ctrl+end"] = "project-search:move-to-end-of-doc",
["home"] = "project-search:move-to-start-of-doc",
["end"] = "project-search:move-to-end-of-doc"
} }