Пример #1
0
	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 )
Пример #2
0
 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)