|
@@ -48,11 +48,11 @@ class FloaterWidget(Pmw.MegaWidget):
|
|
|
INITOPT = Pmw.INITOPT
|
|
INITOPT = Pmw.INITOPT
|
|
|
optiondefs = (
|
|
optiondefs = (
|
|
|
# Appearance
|
|
# Appearance
|
|
|
- ('width', FLOATER_WIDTH, INITOPT),
|
|
|
|
|
- ('height', FLOATER_HEIGHT, INITOPT),
|
|
|
|
|
- ('relief', SUNKEN, self.setRelief),
|
|
|
|
|
- ('borderwidth', 2, self.setBorderwidth),
|
|
|
|
|
- ('background', 'white', self.setBackground),
|
|
|
|
|
|
|
+ ('width', FLOATER_WIDTH, INITOPT),
|
|
|
|
|
+ ('height', FLOATER_HEIGHT, INITOPT),
|
|
|
|
|
+ ('relief', RAISED, self.setRelief),
|
|
|
|
|
+ ('borderwidth', 2, self.setBorderwidth),
|
|
|
|
|
+ ('background', 'SystemButtonFace', self.setBackground),
|
|
|
# Behavior
|
|
# Behavior
|
|
|
# Initial value of floater, use self.set to change value
|
|
# Initial value of floater, use self.set to change value
|
|
|
('value', 0.0, INITOPT),
|
|
('value', 0.0, INITOPT),
|
|
@@ -141,6 +141,7 @@ class FloaterWidget(Pmw.MegaWidget):
|
|
|
def mouseDown(self,event):
|
|
def mouseDown(self,event):
|
|
|
""" Begin mouse interaction """
|
|
""" Begin mouse interaction """
|
|
|
# Exectute user redefinable callback function (if any)
|
|
# Exectute user redefinable callback function (if any)
|
|
|
|
|
+ self['relief'] = SUNKEN
|
|
|
if self['preCallback']:
|
|
if self['preCallback']:
|
|
|
apply(self['preCallback'], self['callbackData'])
|
|
apply(self['preCallback'], self['callbackData'])
|
|
|
self.velocitySF = 0.0
|
|
self.velocitySF = 0.0
|
|
@@ -181,6 +182,7 @@ class FloaterWidget(Pmw.MegaWidget):
|
|
|
# Execute user redefinable callback function (if any)
|
|
# Execute user redefinable callback function (if any)
|
|
|
if self['postCallback']:
|
|
if self['postCallback']:
|
|
|
apply(self['postCallback'], self['callbackData'])
|
|
apply(self['postCallback'], self['callbackData'])
|
|
|
|
|
+ self['relief'] = RAISED
|
|
|
|
|
|
|
|
def setNumDigits(self):
|
|
def setNumDigits(self):
|
|
|
"""
|
|
"""
|