def addScaleScreenSlide(self): 'Add the scale, screen and slide show settings.' self.scale = settings.FloatSpinNotOnMenu().getFromValue( 10.0, 'Scale (pixels per millimeter):', self, 50.0, 15.0 ) settings.LabelSeparator().getFromRepository(self) settings.LabelDisplay().getFromName('- Screen Inset -', self ) self.screenHorizontalInset = settings.IntSpin().getFromValue( 80, 'Screen Horizontal Inset (pixels):', self, 1000, 100 ) self.screenVerticalInset = settings.IntSpin().getFromValue( 120, 'Screen Vertical Inset (pixels):', self, 1000, 220 ) settings.LabelSeparator().getFromRepository(self) self.showGcode = settings.BooleanSetting().getFromValue('Show Gcode', self, True )
def addScaleScreenSlide(self): 'Add the scale, screen and slide show settings.' self.scale = settings.FloatSpinNotOnMenu().getFromValue( 10.0, 'Scale (pixels per millimeter):', self, 50.0, 15.0) # This is needed to adjust for the ratio between the numbers # reported by measure() and the pixel density of the monitor. # unfortunately there seems to be no reliable way of calculating it. self.pixelmagic = settings.FloatSpinNotOnMenu().getFromValue( 0.1, 'Font scale factor:', self, 10.0, 2.0) settings.LabelSeparator().getFromRepository(self) settings.LabelDisplay().getFromName('- Screen Inset -', self) self.screenHorizontalInset = settings.IntSpin().getFromValue( 80, 'Screen Horizontal Inset (pixels):', self, 1000, 100) self.screenVerticalInset = settings.IntSpin().getFromValue( 120, 'Screen Vertical Inset (pixels):', self, 1000, 220) settings.LabelSeparator().getFromRepository(self) self.showGcode = settings.BooleanSetting().getFromValue( 'Show Gcode', self, True)