Bug #68950 MySQL query editor not aware file has changed
Submitted: 13 Apr 2013 18:35 Modified: 20 Jul 2013 2:28
Reporter: William Sherif Email Updates:
Status: Closed Impact on me:
None 
Category:MySQL Workbench: SQL Editor Severity:S4 (Feature request)
Version:5.2.47 rev 10398 OS:Any
Assigned to: CPU Architecture:Any
Tags: editor, text

[13 Apr 2013 18:35] William Sherif 
Description:
If a file changes on disk, SQL editor not aware of those changes.

Because SQL editor is lacking in so many areas (Find feature not available), users may want to edit the SQL queries in a full-fledged text editor, and execute them in Workbench.

It'd be easier to do this if workbench probed disk file for changed when switch back to window (See TextMate 2 behavior).

How to repeat:
Open SQL file in SQL workbench 
Edit SQL text in another editor
switch back to sql work bench
changes _not_ noticed by SQL workbench

Suggested fix:
TextMate2-like behavior
[30 Apr 2013 15:32] MySQL Verification Team 
Hello Bill,

Thank you for a feature request!
[20 Jul 2013 2:28] Philip Olson 
Fixed as of the upcoming MySQL Workbench 6.0.4 release, and here's the changelog entry:

MySQL Workbench will now detect file edit changes in the SQL editor. For
example, you may now open an SQL file in MySQL Workbench, edit the same file
in another text editor, and MySQL Workbench will detect the changes and update
accordingly.

Thank you for the bug report.