Searched refs:borderTop (Results 1 – 1 of 1) sorted by relevance
157 final int borderTop = ((Integer)firstPageProps.getPropertyValue( "BorderTop" )).intValue(); in impl_getFirstPagePlayground() local160 …return new Rectangle( borderLeft, borderTop, pageWidth - borderLeft - borderRight, pageHeight - bo… in impl_getFirstPagePlayground()
Completed in 7 milliseconds