|
@@ -45,15 +45,13 @@ class FloaterWidget(Pmw.MegaWidget):
|
|
|
def __init__(self, parent = None, **kw):
|
|
def __init__(self, parent = None, **kw):
|
|
|
#define the megawidget options
|
|
#define the megawidget options
|
|
|
INITOPT = Pmw.INITOPT
|
|
INITOPT = Pmw.INITOPT
|
|
|
- SystemButtonFace = 'Grey'
|
|
|
|
|
- if (sys.platform == "win32"): SystemButtonFace='SystemButtonFace'
|
|
|
|
|
optiondefs = (
|
|
optiondefs = (
|
|
|
# Appearance
|
|
# Appearance
|
|
|
('width', FLOATER_WIDTH, INITOPT),
|
|
('width', FLOATER_WIDTH, INITOPT),
|
|
|
('height', FLOATER_HEIGHT, INITOPT),
|
|
('height', FLOATER_HEIGHT, INITOPT),
|
|
|
('relief', RAISED, self.setRelief),
|
|
('relief', RAISED, self.setRelief),
|
|
|
('borderwidth', 2, self.setBorderwidth),
|
|
('borderwidth', 2, self.setBorderwidth),
|
|
|
- ('background', SystemButtonFace, self.setBackground),
|
|
|
|
|
|
|
+ ('background', 'grey75', 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),
|