Jeremias, Hold on with the current patch:
[EMAIL PROTECTED] wrote on Sun, 17 Feb 2008 17:54:17 +0100: > (An alternative solution would be to store the priorities > in a separate HashMap. This would require additional put()s and > get()s, but would slightly shorten the code and would have the > advantage that once addFontProperties() is done, all remains the > same as before.) Having pondered this for a while, I now think this would actually be the cleaner solution. I'll soon send another patch. Justus --------------------------------------------------------------------- To unsubscribe, e-mail: [EMAIL PROTECTED] For additional commands, e-mail: [EMAIL PROTECTED]
