MySQL Bugs: #11857: Replacing line by <ENTER> results in copied line in script tab

Bug #11857	Replacing line by <ENTER> results in copied line in script tab
Submitted:	11 Jul 2005 7:30	Modified:	28 Sep 2005 10:48
Reporter:	Kai Sautter (Basic Quality Contributor)	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Query Browser	Severity:	S3 (Non-critical)
Version:	1.1.10	OS:	Windows (Windows XP (SP2))
Assigned to:	Mike Lischke	CPU Architecture:	Any

Description:
When selecting a line and replacing it by an empty line (pressing <ENTER> key) in a script tab, the line after the line to be replaced is copied into the replaced line. 

How to repeat:
(1) Write a short script.
(2) Select a line (not the last one)
(3) press <ENTER>

2 things for reproduction:

1) You must select line by pressing arrow down + shift.
If you select line by mouse, or shift +arrow right, ENTER doex not copy next line.

2) this bug presents in query tab as well

Not enough information was provided for us to be able
to handle this bug. Please re-read the instructions at
http://bugs.mysql.com/how-to-report.php

If you can provide more information, feel free to add it
to this bug and change the status back to 'Open'.

Thank you for your interest in MySQL.

Additional info:

You mean you get the same line twice in the text? 

Can you please explicitly describe what text you get and what result you expect.

Thanks

Thank you for your bug report. This issue has been committed to our
source repository of that product and will be incorporated into the
next release.

If necessary, you can access the source repository and build the latest
available version, including the bugfix, yourself. More information 
about accessing the source trees is available at
    http://www.mysql.com/doc/en/Installing_source_tree.html