equal
deleted
inserted
replaced
7 """Offsets widget position. Used by Viewport and ScrollView.""" |
7 """Offsets widget position. Used by Viewport and ScrollView.""" |
8 |
8 |
9 def __init__(self): |
9 def __init__(self): |
10 Layout.__init__(self) |
10 Layout.__init__(self) |
11 self._offset = Point() |
11 self._offset = Point() |
|
12 self._widget_pos = {} |
12 |
13 |
13 @property |
14 @property |
14 def offset(self): |
15 def offset(self): |
15 """Offset of child widgets.""" |
16 """Offset of child widgets.""" |
16 return self._offset |
17 return self._offset |
17 |
18 |
|
19 def add(self, widget, x=0, y=0): |
|
20 Layout.add(self, widget) |
|
21 self._widget_pos[widget] = (x, y) |
|
22 |
18 def update(self, _w, _h): |
23 def update(self, _w, _h): |
19 for widget in self._managed_widgets: |
24 for widget in self._managed_widgets: |
20 widget.resize(*widget.sizereq) |
25 widget.resize(*widget.sizereq) |
21 widget.pos.update(*(widget.posreq + self.offset)) |
26 widget.pos.update(*(self.offset + self._widget_pos[widget])) |