diff options
author | Sebastian Koslowski <koslowski@kit.edu> | 2014-08-27 21:18:52 +0200 |
---|---|---|
committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-08-27 21:19:05 +0200 |
commit | b395f09dcd8e06f760b732243f5eebfaba9a2aa6 (patch) | |
tree | 8e67bf58cec36710312834884dc67130d858b5dc /grc/gui/FlowGraph.py | |
parent | 76a271ac7d79c7b857e6b47b8d35386eaafde617 (diff) |
grc: always show the label of the selected port
Suggested by Seth Hitefield
Diffstat (limited to 'grc/gui/FlowGraph.py')
-rw-r--r-- | grc/gui/FlowGraph.py | 16 |
1 files changed, 11 insertions, 5 deletions
diff --git a/grc/gui/FlowGraph.py b/grc/gui/FlowGraph.py index 44d46b9bc4..794d992e4e 100644 --- a/grc/gui/FlowGraph.py +++ b/grc/gui/FlowGraph.py @@ -414,8 +414,9 @@ class FlowGraph(Element): #single select mode, break if not coor_m: break #update selected ports - self._old_selected_port = self._new_selected_port - self._new_selected_port = selected_port + if selected_port is not self._new_selected_port: + self._old_selected_port = self._new_selected_port + self._new_selected_port = selected_port return list(selected) def get_selected_connections(self): @@ -488,12 +489,17 @@ class FlowGraph(Element): if self.get_ctrl_mask() or not ( new_selections and new_selections[0] in self.get_selected_elements() ): selected_elements = new_selections - else: #called from a mouse release + if self._old_selected_port: + self._old_selected_port.force_label_unhidden(False) + self.create_shapes() + self.queue_draw() + elif self._new_selected_port: + self._new_selected_port.force_label_unhidden() + else: # called from a mouse release if not self.element_moved and (not self.get_selected_elements() or self.get_ctrl_mask()): selected_elements = self.what_is_selected(self.get_coordinate(), self.press_coor) #this selection and the last were ports, try to connect them - if self._old_selected_port and self._new_selected_port and \ - self._old_selected_port is not self._new_selected_port: + if self._old_selected_port and self._new_selected_port: try: self.connect(self._old_selected_port, self._new_selected_port) Actions.ELEMENT_CREATE() |