def delete(self): p = self.player if p: p.pause() self.player = None Control.delete(self)
def __init__(self, trans, *a, **k): Control.__init__(self, *a, **k) self.trans = trans self.inputlet = None self.label = None self.x, self.y, self.width, self.height = (285, 162, 531, 58)
def __init__(self, trans, *a, **k): Control.__init__(self, zindex=15, *a, **k) self.trans = trans self.inputlet = None self.label = None self.action_params = {} self.view = self.parent self.x, self.y, self.width, self.height = (285, 162, 531, 58)
def __init__(self, trans, parent, *a, **k): y, w, h = (162, 531, 100) x = (parent.width - w) // 2 + 30 Control.__init__(self, *a, x=x, y=y, width=w, height=h, zindex=999999, parent=parent, **k) self.trans = trans self.should_draw = False self.lbls = pyglet.graphics.Batch() self.player = None
def __init__(self, *a, **k): Control.__init__(self, *a, **k) self.width, self.height = self.expected_size(self.rows, self.cols)