increase / decrease size of a page dynamically

[GoogleCodeExporter]

this should be achieved by buttons that sit at the left, right, top and
bottom of a page. these buttons then can be clicked and this resizes the page.

we may also consider to implement as a drag&drop feature.

Original issue reported on code.google.com by dpsen...@gmail.com on 5 Aug 2009 at 8:42