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 /grc/gui/VariableEditor.py | |
| parent | 79a94e85bc2aafe34dec29b4386e381d53bba577 (diff) | |
grc: Unselect all on Ctrl+F
Fixes the bug mentioned in https://github.com/gnuradio/gnuradio/issues/2551
Diffstat (limited to 'grc/gui/VariableEditor.py')
0 files changed, 0 insertions, 0 deletions