equal
deleted
inserted
replaced
835 /** |
835 /** |
836 * Returns the dimensions of the page in pixels. |
836 * Returns the dimensions of the page in pixels. |
837 * The resolution of the page is chosen so that it |
837 * The resolution of the page is chosen so that it |
838 * is similar to the screen resolution. |
838 * is similar to the screen resolution. |
839 * Except (since 1.3) when the application specifies a resolution. |
839 * Except (since 1.3) when the application specifies a resolution. |
840 * In that case it it scaled accordingly. |
840 * In that case it is scaled accordingly. |
841 */ |
841 */ |
842 public Dimension getPageDimension() { |
842 public Dimension getPageDimension() { |
843 double wid, hgt, scale; |
843 double wid, hgt, scale; |
844 if (pageAttributes != null && |
844 if (pageAttributes != null && |
845 pageAttributes.getOrigin()==OriginType.PRINTABLE) { |
845 pageAttributes.getOrigin()==OriginType.PRINTABLE) { |