Bug #69651 table editor does not refresh after changing default

• Submitted: 2 Jul 2013 17:19
• Modified: 10 Jul 2013 15:38
• Reporter: Rasmus Schultz
• Status: Closed
• Category: MySQL Workbench: Modeling
• Severity: S3 (Non-critical)
• Version: 6.0.2 beta
• OS: Windows (8)
• CPU Architecture: Any

[2 Jul 2013 17:19] Rasmus Schultz

Description:
The table editor does not refresh after you right-click and change the default value of a column.

How to repeat:
Edit a table, right-click an empty cell under the "Default" column, and select "Default NULL".

Nothing happens.

Click some other cell, and the view refreshes.

[10 Jul 2013 15:38] Rasmus Schultz

Appears to be fixed in the 6.0.3 beta, thanks!