From 5b161b74be0973ac96bbc2443f6479a3cb6ad64d Mon Sep 17 00:00:00 2001 From: David Rosca Date: Mon, 31 Aug 2015 22:21:20 +0200 Subject: [PATCH] SearchToolbar: Add Ctrl+G and Ctrl+Shift+G shortcuts Closes #1688 --- src/lib/webtab/searchtoolbar.ui | 8 +++++++- 1 file changed, 7 insertions(+), 1 deletion(-) diff --git a/src/lib/webtab/searchtoolbar.ui b/src/lib/webtab/searchtoolbar.ui index 5cd036014..df7fc7d4f 100644 --- a/src/lib/webtab/searchtoolbar.ui +++ b/src/lib/webtab/searchtoolbar.ui @@ -64,6 +64,9 @@ 0 + + Ctrl+Shift+G + true @@ -77,6 +80,9 @@ 0 + + Ctrl+G + true @@ -85,7 +91,7 @@ - Case sensitive + &Match Case true