>>>>> "Martin" == Martin Vermeer <[EMAIL PROTECTED]> writes:
Martin> Your observation. that the "painting" of the selection somehow Martin> keeps begin and end of the selection on the same depth, is Martin> valid though. I wonder where that happens. It is in LyXText::drawSelection. The code is dubious, however (the two instances of it have the same cursor treatment). JMarc