comparison dwtx/jface/internal/text/html/HTMLPrinter.d @ 158:25f1f92fa3df

...
author Frank Benoit <benoit@tionex.de>
date Tue, 26 Aug 2008 02:46:34 +0200
parents 5cf141e43417
children 1a5b8f8129df
comparison
equal deleted inserted replaced
157:7f75eaa8103a 158:25f1f92fa3df
21 import dwtx.jface.internal.text.html.BrowserInformationControlInput; // packageimport 21 import dwtx.jface.internal.text.html.BrowserInformationControlInput; // packageimport
22 import dwtx.jface.internal.text.html.HTMLMessages; // packageimport 22 import dwtx.jface.internal.text.html.HTMLMessages; // packageimport
23 23
24 24
25 import dwt.dwthelper.utils; 25 import dwt.dwthelper.utils;
26 26 import dwtx.dwtxhelper.URL;
27 import java.io.IOException;
28 import java.io.Reader;
29 import java.net.URL;
30 27
31 import dwt.DWT; 28 import dwt.DWT;
32 import dwt.DWTError; 29 import dwt.DWTError;
33 import dwt.graphics.FontData; 30 import dwt.graphics.FontData;
34 import dwt.graphics.RGB; 31 import dwt.graphics.RGB;
197 return; 194 return;
198 195
199 buffer.append("<head>"); //$NON-NLS-1$ 196 buffer.append("<head>"); //$NON-NLS-1$
200 197
201 buffer.append("<LINK REL=\"stylesheet\" HREF= \""); //$NON-NLS-1$ 198 buffer.append("<LINK REL=\"stylesheet\" HREF= \""); //$NON-NLS-1$
202 buffer.append(styleSheetURL); 199 buffer.append(styleSheetURL.toString());
203 buffer.append("\" CHARSET=\"ISO-8859-1\" TYPE=\"text/css\">"); //$NON-NLS-1$ 200 buffer.append("\" CHARSET=\"ISO-8859-1\" TYPE=\"text/css\">"); //$NON-NLS-1$
204 201
205 buffer.append("</head>"); //$NON-NLS-1$ 202 buffer.append("</head>"); //$NON-NLS-1$
206 } 203 }
207 204