Message 155236 - Python tracker

Nicholas: I consider this issue fixed. There already *is* any API to compute the width of a character. Closing this as "works for me".