diff options
| author | Sebastian Koslowski <koslowski@kit.edu> | 2014-09-02 12:24:52 +0200 |
|---|---|---|
| committer | Sebastian Koslowski <koslowski@kit.edu> | 2014-10-01 18:16:31 +0200 |
| commit | b7e16990195c93f677dde7de77371518fc8f3869 (patch) | |
| tree | 2a9860c0cc6304e7eb16a591e17a7db9276f1444 /grc/gui/ActionHandler.py | |
| parent | 6872f5d4e76d119a36c1c6c6474110772cc345a7 (diff) | |
grc: update all flowgraphs when hiding port labels
Diffstat (limited to 'grc/gui/ActionHandler.py')
| -rw-r--r-- | grc/gui/ActionHandler.py | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/grc/gui/ActionHandler.py b/grc/gui/ActionHandler.py index e20a54ab06..f8963fa472 100644 --- a/grc/gui/ActionHandler.py +++ b/grc/gui/ActionHandler.py @@ -397,7 +397,8 @@ class ActionHandler: Actions.NOTHING_SELECT() elif action == Actions.TOGGLE_AUTO_HIDE_PORT_LABELS: action.save_to_preferences() - self.main_window.get_flow_graph().create_shapes() + for page in self.main_window.get_pages(): + page.get_flow_graph().create_shapes() elif action == Actions.TOGGLE_SNAP_TO_GRID: action.save_to_preferences() ################################################## |