def _iconSizeChanged(self):
current = 0.0
spin_box = self.sender()
if spin_box == self._ui._doubleSpinBoxNormalArrow:
mode = self._ui._sceneviewer3d.getMode(ViewMode.PLANE_NORMAL)
glyph = mode.getGlyph()
current = getGlyphSize(glyph)
base_size = self._ui._doubleSpinBoxNormalArrow.value()
new = [base_size, base_size / 4, base_size / 4]
elif spin_box == self._ui._doubleSpinBoxRotationCentre:
mode = self._ui._sceneviewer3d.getMode(ViewMode.PLANE_ROTATION)
glyph = mode.getGlyph()
current = getGlyphSize(glyph)
base_size = self._ui._doubleSpinBoxRotationCentre.value()
new = [base_size, base_size, base_size]
elif spin_box == self._ui._doubleSpinBoxSegmentationPoint:
glyph = self._segmentation_point_glyph
current = getGlyphSize(glyph)
base_size = self._ui._doubleSpinBoxSegmentationPoint.value()
new = [base_size, base_size, base_size]
if current != new:
c = CommandSetGlyphSize(current, new, glyph)
c.setSetGlyphSizeMethod(setGlyphSize)
c.setSpinBox(spin_box)
self._model.getUndoRedoStack().push(c)
def pointSizeChanged(self, value):
glyph = self._scene.getGraphic(POINT_CLOUD_GRAPHIC_NAME)
current = getGlyphSize(glyph)
new = [value, value, value]
if current != new:
c = CommandSetGlyphSize(current, new, [glyph, self._scene.getGraphic(POINT_CLOUD_ON_PLANE_GRAPHIC_NAME)])
c.setSetGlyphSizeMethod(setGlyphSize)
c.setSpinBox(self._widget._ui._doubleSpinBoxPointSize)
self._undo_redo_stack.push(c)