>>>>> "Lars" == Lars Gullik Bjønnes <[EMAIL PROTECTED]> writes:

Lars> | I was wondering whether we could have a insetunicodeaccent.

Lars> I'd say that would be pointless. If we need such a beast, it
Lars> should be internal to the frontend. (I.e. the frontend must do
Lars> what it has to to support combining chars, chars and don't have
Lars> an available glyph etc.)

But this means that the length of a docstring is not much more usable
than the length of an utf-8 string... Also, cursor movement will be
much more complicated. This is not a frontend matter only IMO.

JMarc

Reply via email to