--- a/tuikit/core/widget.py Wed Mar 26 21:26:39 2014 +0100
+++ b/tuikit/core/widget.py Thu Mar 27 08:03:51 2014 +0100
@@ -25,7 +25,7 @@
#: Position inside parent widget. Modified by layout manager.
self.pos = Point()
#: Actual size. Modified by layout manager.
- self.size = Size(10, 10)
+ self._size = Size(10, 10)
#: Requested size. Layout manager will use this when placing the widget.
self.sizereq = Size(1, 1)
@@ -53,6 +53,13 @@
def height(self):
return self.size.h
+ @property
+ def size(self):
+ return self._size.readonly()
+
+ def resize(self, w, h):
+ self._size.update(w, h)
+
## appearance ##
def draw(self, buffer, x, y):