[gnome-builder] terminal: use ctrl+shift+f for search
- From: Christian Hergert <chergert src gnome org>
- To: commits-list gnome org
- Cc:
- Subject: [gnome-builder] terminal: use ctrl+shift+f for search
- Date: Sat, 25 Feb 2017 04:34:02 +0000 (UTC)
commit c64ba97077a9d8619caf70bbeaa2c8ac68e1c575
Author: Christian Hergert <chergert redhat com>
Date: Fri Feb 24 20:33:47 2017 -0800
terminal: use ctrl+shift+f for search
This should match what it is in gnome-terminal, as ctrl+f often gets in
the way with terminal apps.
plugins/terminal/gb-terminal.c | 4 ++--
1 files changed, 2 insertions(+), 2 deletions(-)
---
diff --git a/plugins/terminal/gb-terminal.c b/plugins/terminal/gb-terminal.c
index 8e64bf8..c3887b6 100644
--- a/plugins/terminal/gb-terminal.c
+++ b/plugins/terminal/gb-terminal.c
@@ -246,7 +246,7 @@ gb_terminal_real_search_reveal (GbTerminal *self)
if (parent_overlay != NULL)
{
GtkRevealer *revealer = ide_widget_find_child_typed (parent_overlay, GTK_TYPE_REVEALER);
-
+
if (revealer != NULL && !gtk_revealer_get_child_revealed (revealer))
gtk_revealer_set_reveal_child (revealer, TRUE);
}
@@ -329,7 +329,7 @@ gb_terminal_class_init (GbTerminalClass *klass)
gtk_binding_entry_add_signal (binding_set,
GDK_KEY_f,
- GDK_CONTROL_MASK,
+ GDK_SHIFT_MASK | GDK_CONTROL_MASK,
"search-reveal",
0);
}
[
Date Prev][
Date Next] [
Thread Prev][
Thread Next]
[
Thread Index]
[
Date Index]
[
Author Index]