MySQL Bugs: #88547: Times symbol for each line

Bug #88547	Times symbol for each line
Submitted:	20 Nov 2017 0:50	Modified:	21 Nov 2017 17:35
Reporter:	Santiago Aguilar	Email Updates:
Status:	Closed	Impact on me:	None
Category:	MySQL Workbench: SQL Editor	Severity:	S5 (Performance)
Version:	6.3.8	OS:	Linux (Ubuntu 17.10)
Assigned to:		CPU Architecture:	Any
Tags:	WBBugReporter

Description:
Hi, I found that for each line appears a times symbol marking as an error, but everything works right! You can see this behaviour in this link.

https://1drv.ms/i/s!AgYH75JMOioJgpsLEE5ByXXJ_6GwXA

Thank you.

How to repeat:
Write a valid sentence and the symbol comes up.

Hello Santiago,

Thank you for taking the time to report a problem.  Unfortunately you are not using a current version of the product you reported a problem with -- the problem might already be fixed. Please download a new version from http://www.mysql.com/downloads/

If you are able to reproduce the bug with one of the latest versions, please change the version on this bug report to the version you tested, provide exact SQL statements that you are using and change the status back to "Open".  Again, thank you for your continued support of MySQL.

Thanks,
Umesh

You were right, this has been fixed in version 6.3.10. Thank you!

Closing.