217218219220221222223224225226227
for (int i = 0; i < pageHeight; i++) { charData[i] = new StringBuffer(); decoData[i] = new StringBuffer(); } bm = new BorderManager(pageWidth, pageHeight, currentState); super.renderPage(page); flushBorderToBuffer(); flushBuffer();
218219220221222223224225226227228
227228229230231232233234235236237
225226227228229230231232233234235
220221222223224225226227228229230
223224225226227228229230231232233