Re: [ jEdit-users ] random paste

[Frank P. <Fra...@ni...>]

Most often, yes. Sometimes, however, it's in the middle of nowhere...

Matthieu Casanova wrote:

> Hi, when this happens, is it pasted on top of your document ? If yes, 
> I think it is a bug that is fixed in CVS
>
> Matthieu
>
> 2005/10/26, Frank Perbet < Fra...@ni... 
> <mailto:Fra...@ni...>>:
>
>     Hi,
>
>     I'm using jedit 4.3pre2 with java 1.5 .
>     I have the STRONG impression that jedit is randomly inserting text
>     when
>     I'm pasting it.
>     Looks like a severe bug, and I'm sorry not to have precise
>     information here.
>
>     Here is a description of how I discovered that:
>     - I'm working with jedit, let's say for 1 or 2 hours.
>     - Then I'm trying to compile my code, and I have some weird mistake.
>     - The error comes from a file I've recently edited and saved with
>     jedit:
>     a random piece of text has been randomly inserted in an area of
>     the file
>     I didn't touch at all.
>     However, the inserted text IS something I was manipulating (in a
>     different area of the file).
>
>     cheers,
>     Frank
>
>
>     -------------------------------------------------------
>     This SF.Net email is sponsored by the JBoss Inc.
>     Get Certified Today * Register for a JBoss Training Course
>     Free Certification Exam for All Training Attendees Through End of 2005
>     Visit http://www.jboss.com/services/certification for more information
>     --
>     -----------------------------------------------
>     jEdit Users' List
>     jEd...@li...
>     <mailto:jEd...@li...>
>     https://lists.sourceforge.net/lists/listinfo/jedit-users
>
>