def addScale(self, gridPosition):
'Add the line frame items.'
self.addMouseInstantTool('zoom_out.ppm', gridPosition,
zoom_out.getNewMouseTool())
self.addMouseInstantTool('zoom_in.ppm', gridPosition,
zoom_in.getNewMouseTool())
gridPosition.increment()
settings.Tkinter.Label(gridPosition.master,
text='Scale:',
font=self.sizedfont).grid(
row=gridPosition.row,
column=gridPosition.column,
sticky=settings.Tkinter.W)
gridPosition.increment()
self.scaleEntry = settings.Tkinter.Spinbox(
gridPosition.master,
command=self.scaleEntryReturnPressed,
from_=10.0,
increment=5.0,
to=100.0,
font=self.sizedfont)
self.scaleEntry.bind('<Return>', self.scaleEntryReturnPressed)
self.scaleEntry.grid(row=gridPosition.row,
column=gridPosition.column,
sticky=settings.Tkinter.W)
def addScale( self, gridPosition ):
'Add the line frame items.'
self.addMouseInstantTool('zoom_out.ppm', gridPosition, zoom_out.getNewMouseTool() )
self.addMouseInstantTool('zoom_in.ppm', gridPosition, zoom_in.getNewMouseTool() )
gridPosition.increment()
settings.Tkinter.Label( gridPosition.master, text = 'Scale:').grid( row = gridPosition.row, column = gridPosition.column, sticky = settings.Tkinter.W )
gridPosition.increment()
self.scaleEntry = settings.Tkinter.Spinbox( gridPosition.master, command = self.scaleEntryReturnPressed, from_ = 10.0, increment = 5.0, to = 100.0 )
self.scaleEntry.bind('<Return>', self.scaleEntryReturnPressed )
self.scaleEntry.grid( row = gridPosition.row, column = gridPosition.column, sticky = settings.Tkinter.W )