equal
deleted
inserted
replaced
862 size = target_panel.GetSize() |
862 size = target_panel.GetSize() |
863 if merge_type == GRAPH_ORTHOGONAL: |
863 if merge_type == GRAPH_ORTHOGONAL: |
864 target_panel.SetCanvasHeight(size.width) |
864 target_panel.SetCanvasHeight(size.width) |
865 elif source_size is not None and source_panel != target_panel: |
865 elif source_size is not None and source_panel != target_panel: |
866 target_panel.SetCanvasHeight(size.height + source_size.height) |
866 target_panel.SetCanvasHeight(size.height + source_size.height) |
|
867 else: |
|
868 target_panel.SetCanvasHeight(size.height) |
867 target_panel.ResetGraphics() |
869 target_panel.ResetGraphics() |
868 |
870 |
869 self.ResetVariableNameMask() |
871 self.ResetVariableNameMask() |
870 self.RefreshGraphicsSizer() |
872 self.RefreshGraphicsSizer() |
871 self.ForceRefresh() |
873 self.ForceRefresh() |