annotate servlet/src/digilib/image/DocuImageImpl.java @ 629:b426efcc8a8e jquery

questions about display()...
author robcast
date Tue, 18 Jan 2011 12:51:51 +0100
parents fd2ef7e46119
children beeedf90cb81
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
1 /* DocuImage -- General image interface class implementation
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
2
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
3 Digital Image Library servlet components
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
4
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
5 Copyright (C) 2001, 2002, 2003 Robert Casties (robcast@mail.berlios.de)
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
6
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
7 This program is free software; you can redistribute it and/or modify it
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
8 under the terms of the GNU General Public License as published by the
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
9 Free Software Foundation; either version 2 of the License, or (at your
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
10 option) any later version.
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
11
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
12 Please read license.txt for the full details. A copy of the GPL
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
13 may be found at http://www.gnu.org/copyleft/lgpl.html
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
14
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
15 You should have received a copy of the GNU General Public License
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
16 along with this program; if not, write to the Free Software
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 1
diff changeset
17 Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
18
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
19 */
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
20
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
21 package digilib.image;
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
22
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
23 import java.awt.Image;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
24 import java.awt.Rectangle;
462
03ff7238c9d4 second try for flashpix support (doesn't work currently...)
robcast
parents: 278
diff changeset
25 import java.io.IOException;
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
26 import java.io.OutputStream;
464
f1f710ff14ad Servlet version 1.10b
robcast
parents: 462
diff changeset
27 import java.util.Iterator;
f1f710ff14ad Servlet version 1.10b
robcast
parents: 462
diff changeset
28 import java.util.LinkedList;
f1f710ff14ad Servlet version 1.10b
robcast
parents: 462
diff changeset
29 import java.util.List;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
30
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
31 import javax.servlet.ServletException;
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
32
181
afe7ff98bb71 Servlet version 1.18b1
robcast
parents: 159
diff changeset
33 import org.apache.log4j.Logger;
afe7ff98bb71 Servlet version 1.18b1
robcast
parents: 159
diff changeset
34
afe7ff98bb71 Servlet version 1.18b1
robcast
parents: 159
diff changeset
35 import digilib.io.FileOpException;
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
36 import digilib.io.ImageFile;
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
37
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 1
diff changeset
38 /** Simple abstract implementation of the <code>DocuImage</code> interface.
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 1
diff changeset
39 *
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 1
diff changeset
40 * This implementation provides basic functionality for the utility methods like
562
baaa5bab5e16 trying to reduce use of ImageOps
robcast
parents: 561
diff changeset
41 * <code>getKnownFileTypes</code>. Image methods like
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 1
diff changeset
42 * <code>loadImage</code>, <code>writeImage</code>, <code>getWidth</code>,
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
43 * <code>getHeight</code>, <code>crop</code> and <code>scale</code> must be
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
44 * implemented by derived classes.
73
3b8797fc3e90 New servlet version 1.5b.
robcast
parents: 1
diff changeset
45 */
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
46 public abstract class DocuImageImpl implements DocuImage {
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
47
181
afe7ff98bb71 Servlet version 1.18b1
robcast
parents: 159
diff changeset
48 /** logger */
469
11e11fe4d680 Improved performance of JAIDocuImage for large images
robcast
parents: 464
diff changeset
49 protected static final Logger logger = Logger.getLogger(DocuImage.class);
181
afe7ff98bb71 Servlet version 1.18b1
robcast
parents: 159
diff changeset
50
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
51 /** Interpolation quality. */
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
52 protected int quality = 0;
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
53
86
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
54 /** epsilon for float comparisons. */
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
55 public final double epsilon = 1e-5;
86
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
56
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
57 /** image mime-type */
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
58 protected String mimeType = null;
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
59
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
60 /** image size */
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
61 protected ImageSize imgSize = null;
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
62
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
63 /**
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
64 * Returns the quality.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
65 * @return int
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
66 */
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
67 public int getQuality() {
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
68 return quality;
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
69 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
70
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
71 /**
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
72 * Sets the quality.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
73 * @param quality The quality to set
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
74 */
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
75 public void setQuality(int quality) {
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
76 this.quality = quality;
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
77 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
78
564
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
79 /** Crop and scale the current image.
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
80 *
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
81 * The current image is cropped to a rectangle of width, height at position
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
82 * x_off, y_off. The resulting image is scaled by the factor scale using the
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
83 * interpolation quality qual (0=worst).
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
84 *
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
85 * @param x_off X offset of the crop rectangle in pixel.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
86 * @param y_off Y offset of the crop rectangle in pixel.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
87 * @param width Width of the crop rectangle in pixel.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
88 * @param height Height of the crop rectangle in pixel.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
89 * @param scale Scaling factor.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
90 * @param qual Interpolation quality (0=worst).
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
91 * @throws ImageOpException Exception thrown on any error.
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
92 */
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
93 public void cropAndScale(
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
94 int x_off, int y_off, int width, int height, double scale, int qual)
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
95 throws ImageOpException {
562
baaa5bab5e16 trying to reduce use of ImageOps
robcast
parents: 561
diff changeset
96 // default implementation: first crop, then scale
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
97 setQuality(qual);
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
98 crop(x_off, y_off, width, height);
149
04ad64b2137a Servlet version 1.14b1
robcast
parents: 122
diff changeset
99 scale(scale, scale);
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
100 }
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
101
86
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
102 public String getMimetype() {
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
103 return mimeType;
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
104 }
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
105
564
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
106 /* (non-Javadoc)
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
107 * @see digilib.image.DocuImage#identify(digilib.io.ImageFile)
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
108 */
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
109 public ImageFile identify(ImageFile imgf) throws IOException {
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
110 // just a do-nothing implementation
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
111 return null;
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
112 }
4c51d71aef13 more reshuffling of classes
robcast
parents: 562
diff changeset
113
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
114 public void rotate(double angle) throws ImageOpException {
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
115 // just a do-nothing implementation
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
116 }
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
117
79
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
118 public void mirror(double angle) throws ImageOpException {
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
119 // just a do-nothing implementation
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
120 }
63c8186455c1 Servlet version 1.6b. Further cleanup and new functionality:
robcast
parents: 73
diff changeset
121
86
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
122 public void enhance(float mult, float add) throws ImageOpException {
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
123 // just a do-nothing implementation
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
124 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
125
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
126 public boolean isSubimageSupported() {
86
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
127 // partial loading not supported per default
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
128 return false;
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
129 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
130
159
e743b853efca servlet version 1.16a4
robcast
parents: 149
diff changeset
131 public void loadSubimage(ImageFile f, Rectangle region, int subsample)
85
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
132 throws FileOpException {
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
133 // empty implementation
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
134 }
4e6757e8ccd4 New enhanced ImageLoader stuff.
robcast
parents: 79
diff changeset
135
86
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
136 public void enhanceRGB(float[] rgbm, float[] rgba)
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
137 throws ImageOpException {
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
138 // emtpy implementation
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
139 }
997ba69afb81 New version 1.8b1.
robcast
parents: 85
diff changeset
140
207
1a65d8e43620 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 185
diff changeset
141 public void dispose() {
464
f1f710ff14ad Servlet version 1.10b
robcast
parents: 462
diff changeset
142 // emtpy implementation
f1f710ff14ad Servlet version 1.10b
robcast
parents: 462
diff changeset
143 }
f1f710ff14ad Servlet version 1.10b
robcast
parents: 462
diff changeset
144
531
9cedd170b581 * PDF generation works now even with subdirectories
robcast
parents: 1
diff changeset
145 public Iterator<String> getSupportedFormats() {
9cedd170b581 * PDF generation works now even with subdirectories
robcast
parents: 1
diff changeset
146 List<String> empty = new LinkedList<String>();
464
f1f710ff14ad Servlet version 1.10b
robcast
parents: 462
diff changeset
147 return empty.iterator();
207
1a65d8e43620 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 185
diff changeset
148 }
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
149
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
150 public void crop(int xoff, int yoff, int width, int height)
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
151 throws ImageOpException {
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
152 // TODO Auto-generated method stub
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
153 }
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
154
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
155 public Image getAwtImage() {
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
156 // TODO Auto-generated method stub
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
157 return null;
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
158 }
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
159
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
160 public int getHeight() {
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
161 ImageSize is = getSize();
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
162 if (is != null) {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
163 return is.getHeight();
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
164 }
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
165 return 0;
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
166 }
207
1a65d8e43620 Servlet version 1.18b9 -- cleanup and bugfixes
robcast
parents: 185
diff changeset
167
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
168 public int getWidth() {
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
169 ImageSize is = getSize();
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
170 if (is != null) {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
171 return is.getWidth();
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
172 }
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
173 return 0;
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
174 }
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
175
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
176 public ImageSize getSize() {
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
177 return imgSize;
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
178 }
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
179
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
180 public void loadImage(ImageFile f) throws FileOpException {
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
181 // TODO Auto-generated method stub
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
182
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
183 }
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
184
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
185 public void scale(double scaleX, double scaleY) throws ImageOpException {
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
186 // TODO Auto-generated method stub
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
187
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
188 }
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
189
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
190 public void writeImage(String mt, OutputStream ostream)
570
fd2ef7e46119 more cleanup, set version to 1.8.2
robcast
parents: 564
diff changeset
191 throws ServletException, ImageOpException {
533
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
192 // TODO Auto-generated method stub
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
193 }
87cb3dc2aa12 improved pdf generation (not done yet)
robcast
parents: 531
diff changeset
194
1
0ff3ede32060 Initial revision
robcast
parents:
diff changeset
195 }