Re: [cp-patches] FYI: FontMetrics fixlet

[Tom Tromey]

>>>>> "Roman" == Roman Kennke <address@hidden> writes:

Roman> As a workaround we could either disable this thingy for now or
Roman> add the method in question to Character and let it return a new
Roman> char[]{(char) arg}

I'd prefer we not do this.  It is too much like a stub.

I thought Sven had a partial implementation of the new Character
stuff anyway ...?

Tom