equal
deleted
inserted
replaced
27 } |
27 } |
28 |
28 |
29 /** |
29 /** |
30 * Update the view area |
30 * Update the view area |
31 */ |
31 */ |
32 void updateArea (const PixelArea &area) { |
32 virtual void resize (const PixelArea &new_area) { |
33 this->area = area; |
33 this->area = new_area; |
|
34 } |
|
35 |
|
36 /** |
|
37 * Get current width |
|
38 */ |
|
39 PixelDimension getWidth (void) const { |
|
40 return area.right - area.left; |
|
41 } |
|
42 |
|
43 /** |
|
44 * Get current height |
|
45 */ |
|
46 PixelDimension getHeight (void) const { |
|
47 return area.bottom - area.top; |
34 } |
48 } |
35 }; |
49 }; |
36 |
50 |
37 } |
51 } |
38 |
52 |