>>>>> "Dov" == Dov Feldstern <[EMAIL PROTECTED]> writes:
Dov> Yes, it turned out to be really complicated. After spending about an Dov> hour-and-a-half trying to do this I gave up :( . It means Dov> changing practically all the insets which inherit from InsetText, Dov> and sometimes the changes are not trivial. And since we don't Dov> think this is the right long-term solution, anyway, it's not Dov> worth the effort. Dov> Therefore, attached is the original patch, with a comment Dov> explaining the situation. OK to commit? OK with me. JMarc
