Character widths

2006-02-27 Thread Jeremias Maerki
I need a second pair of eyes (or more) for a change I've done in Font-java. I think there are a number of bugs in the getCharWidth() method: - The widths for special spaces were never returned as getWidth() automatically replaced them with #. - The value for em was taken from the width of the

Re: Character widths

2006-02-27 Thread Andreas L Delmelle
On Feb 27, 2006, at 18:57, Jeremias Maerki wrote: Hi Jeremias, I need a second pair of eyes (or more) for a change I've done in Font-java. snip / Before I commit this change, can anyone tell me in case I got something wrong here. Thanks. Your changes seem fine to me... Any doubts in

Re: Character widths

2006-02-27 Thread Jeremias Maerki
Well, it's just that this is code that's been in there for a long time and someone must have given it some thought. I simply want to make sure I did not miss anything obvious. Thanks for looking at it. On 27.02.2006 19:42:36 Andreas L Delmelle wrote: On Feb 27, 2006, at 18:57, Jeremias Maerki

Re: Character widths

2006-02-27 Thread Simon Pepping
On Mon, Feb 27, 2006 at 06:57:02PM +0100, Jeremias Maerki wrote: I need a second pair of eyes (or more) for a change I've done in Font-java. I think there are a number of bugs in the getCharWidth() method: - The widths for special spaces were never returned as getWidth() automatically