def toggleShrink(): # Called by the button mode = draw.DrawOptions.get('shrink',None) if mode is None: mode = 0.8 else: mode = None draw.shrink(mode)
def setShrink(mode): draw.shrink(mode) if shrink_button: shrink_button.setChecked(mode != None)