Do not paint arrow in radiopalette

This commit is contained in:
Aleksey Lim 2009-07-31 19:57:13 +00:00
parent 2c7e2c393a
commit 45a4ed104b

View File

@ -48,24 +48,6 @@ class RadioMenuButton(ToolButton):
else: else:
self.palette.popup(immediate=True, state=Palette.SECONDARY) self.palette.popup(immediate=True, state=Palette.SECONDARY)
def do_expose_event(self, event):
ToolButton.do_expose_event(self, event)
if not self.palette:
return
if self.palette.is_up():
type = gtk.ARROW_UP
else:
type = gtk.ARROW_DOWN
alloc = self.allocation
x = alloc.x + alloc.width / 2 - style.TOOLBAR_ARROW_SIZE / 2
y = alloc.y + alloc.height - int(style.TOOLBAR_ARROW_SIZE * .85)
self.get_style().paint_arrow(event.window,
gtk.STATE_NORMAL, gtk.SHADOW_NONE, event.area, self,
None, type, True,
x, y, style.TOOLBAR_ARROW_SIZE, style.TOOLBAR_ARROW_SIZE)
class RadioToolsButton(RadioMenuButton): class RadioToolsButton(RadioMenuButton):
def __init__(self, **kwargs): def __init__(self, **kwargs):
RadioMenuButton.__init__(self, **kwargs) RadioMenuButton.__init__(self, **kwargs)