diff options
| author | jblum | 2009-06-25 17:36:36 +0000 |
|---|---|---|
| committer | jblum | 2009-06-25 17:36:36 +0000 |
| commit | 636a8cae9b5fd9cdc1e45f7a630068b905713057 (patch) | |
| tree | f2d30ee0452d652b6e3d2bbe107a65fd656b1d78 /grc | |
| parent | 0dc667ed68b90e0aceca193324f58106077072f8 (diff) | |
| download | gnuradio-636a8cae9b5fd9cdc1e45f7a630068b905713057.tar.gz gnuradio-636a8cae9b5fd9cdc1e45f7a630068b905713057.tar.bz2 gnuradio-636a8cae9b5fd9cdc1e45f7a630068b905713057.zip | |
minor fix so deleted elements are not referenced in the selected ports
git-svn-id: http://gnuradio.org/svn/gnuradio/trunk@11282 221aa14e-8319-0410-a670-987f0aec2ac5
Diffstat (limited to 'grc')
| -rw-r--r-- | grc/gui/FlowGraph.py | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/grc/gui/FlowGraph.py b/grc/gui/FlowGraph.py index 26544faab..63f289027 100644 --- a/grc/gui/FlowGraph.py +++ b/grc/gui/FlowGraph.py @@ -281,6 +281,10 @@ class FlowGraph(Element): for selected in selected_elements: if selected in elements: continue selected_elements.remove(selected) + if self._old_selected_port not in elements: + self._old_selected_port = None + if self._new_selected_port not in elements: + self._new_selected_port = None #update highlighting for element in elements: element.set_highlighted(element in selected_elements) |