>>>>> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> On Mon, Jul 08, 2002 at 05:20:18PM +0200, Jean-Marc Lasgouttes Andre> wrote: Have we? I would believe in an open bug but not in a Andre> fix... I know that it annoyed me once and I could not find an Andre> immediate solution. Bug ID? >> http://bugzilla.lyx.org/show_bug.cgi?id=93 Andre> Ok. This looks as if would suffer from the same problem as we Andre> had until very recently with mathed: The "real" cut buffer gets Andre> overwritten during this action. Yes, indeed. Moreover, what happens if you insert a label over a selection? Where does the selection gets pasted? Andre> I'd like to see that in nevertheless as it cures one of my pet Andre> peeves with the outside world. Andre> Would you mind me applying it? Not really. But I would appreciate if you could investigate what kind of problems this patches may have. JMarc
