(Writer writer)
| 168 | } |
| 169 | |
| 170 | private void writeFooter(Writer writer) throws IOException { |
| 171 | writer.write("grestore\n"); //$NON-NLS-1$ |
| 172 | if(isClipSet()) { |
| 173 | writer.write("grestore\n"); //$NON-NLS-1$ |
| 174 | } |
| 175 | writer.write("showpage\n"); //$NON-NLS-1$ |
| 176 | writer.write("\n"); //$NON-NLS-1$ |
| 177 | writer.write("%%EOF"); //$NON-NLS-1$ |
| 178 | writer.flush(); |
| 179 | } |
| 180 | |
| 181 | public synchronized void flush() throws IOException { |
| 182 | _bufferedWriter.flush(); |