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

Lars> Won't InsetText be a bit overkill for this?

Lars> This is closer to InsetLabel...

For the case of a key binding, insettext is not needed (and I did not
plan to use it). But if I want to do some formatting, it seems to me
that insttext is the easiest way (do I really want to write/test an
draw() method which adds the underlines at the right place, draws the
nice menu separator and generates latex/smgl?

JMarc

Reply via email to