diff options
| author | Piotr Henryk Dabrowski <[email protected]> | 2019-11-17 18:14:27 +0100 |
|---|---|---|
| committer | Elvis Angelaccio <[email protected]> | 2019-11-17 18:15:26 +0100 |
| commit | 537dc7864ae31e7c1c9a0a0ecf559b7cace23a82 (patch) | |
| tree | 90fe0153147d1d816cc268edfdcfee5cd76fbffd /src/dolphinui.rc | |
| parent | 808339bff654785d564d6c7d077062f6c649ff77 (diff) | |
[Dolphin] Open Preferred Search Tool action
Summary:
Added "Open Preferred Search Tool" action to Tools menu.
It runs preferred (topmost) external search tool as configured in the "More Search Tools" menu.
By default Ctrl+Shift+F shortcut is assigned to this action.
FEATURE: 384798
FIXED-IN: 20.03.80
{F7134238}
{F7134240}
{F7134242}
Reviewers: #dolphin, ngraham, elvisangelaccio
Reviewed By: #dolphin, ngraham
Subscribers: pkloc, kfm-devel, kde-doc-english
Tags: #dolphin, #documentation
Differential Revision: https://phabricator.kde.org/D22594
Diffstat (limited to 'src/dolphinui.rc')
| -rw-r--r-- | src/dolphinui.rc | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dolphinui.rc b/src/dolphinui.rc index dcacc56c4..4de1c609c 100644 --- a/src/dolphinui.rc +++ b/src/dolphinui.rc @@ -1,5 +1,5 @@ <!DOCTYPE kpartgui SYSTEM "kpartgui.dtd"> -<kpartgui name="dolphin" version="27"> +<kpartgui name="dolphin" version="28"> <MenuBar> <Menu name="file"> <Action name="new_menu" /> @@ -54,6 +54,7 @@ </Menu> <Menu name="tools"> <Action name="show_filter_bar" /> + <Action name="open_preferred_search_tool" /> <Action name="open_terminal" /> <Action name="compare_files" /> <Action name="change_remote_encoding" /> |