return null;
checkDevice();  double width = OS.gtk_page_setup_get_paper_width (pageSetup, OS.GTK_UNIT_POINTS); double height = OS.gtk_page_setup_get_paper_height (pageSetup, OS.GTK_UNIT_POINTS); return new Rectangle(0, 0, (int) width, (int) height);
public Rectangle getBounds() {	return null;}