diff options
| author | Håkon Vågsether <haakonsv@gmail.com> | 2019-06-24 09:03:19 +0200 |
|---|---|---|
| committer | Marcus Müller <marcus@hostalia.de> | 2019-06-29 13:41:50 +0200 |
| commit | 2ff628894b645d22325db6569fdccb265f57fbe1 (patch) | |
| tree | 0699d9a362fcc025c514718cb25698f1b153ae72 | |
| parent | 79a94e85bc2aafe34dec29b4386e381d53bba577 (diff) | |
grc: Unselect all on Ctrl+F
Fixes the bug mentioned in https://github.com/gnuradio/gnuradio/issues/2551
| -rw-r--r-- | grc/gui/Application.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/grc/gui/Application.py b/grc/gui/Application.py index 8feaca3de8..8489580b06 100644 --- a/grc/gui/Application.py +++ b/grc/gui/Application.py @@ -735,6 +735,7 @@ class Application(Gtk.Application): main.update_pages() elif action == Actions.FIND_BLOCKS: + flow_graph.unselect() main.update_panel_visibility(main.BLOCKS, True) main.btwin.search_entry.show() main.btwin.search_entry.grab_focus() |