Bug #35872 Pack Keys option is not savable

Description:
The Pack Keys option is not savable to the file. - If you change the option and save the file and later reopen the table it is set to whatever it was set before. I have an imported file from DBDesigner4 and there the Pack Keys option was set to 0, which gives me errors when forward engineering the database. Trying to set this to "DEFAULT" does not work, because it is not saved to the file.

Additionally the option Pack Keys is not displayed correctly when changing from one table to another, because it is not updated correctly according to the new table.

Also when changing the Pack Keys option, the file is not marked as modified. (But even making an additional change to mark the file dirty and then saving the file will forget the changed Pack Keys option.

This Bug also relates to: http://bugs.mysql.com/bug.php?id=33454

How to repeat:
1. Create a new model with two tables
2. Open the first table and change the Pack Keys value to "Default"
3. Double-click on the second table and see that it also displays the Pack Keys value "Default" even as it was not set on that table.
4. Close the table view and reopen the second table, see that the Pack Keys option is now not set, as it should be.
5. Close the table view again, and reopen the first table, see that the Pack Keys option was forget also.
6. Set the Pack Keys option again to "Default" on the first table
7. Save the file
8. Close the table view again.
9. Open the first table again, and see that the Pack Keys option was not saved.

Suggested fix:
The Pack Keys option should be savable. If you have a file where this is set to Pack None (which causes erros when generating the tables) you are pretty busted as you cannot change the value.

Thank you for the bug report.

this is now saved/restored correctly (tested in SVN 3006)

Noted in 5.0.18 changelog.

The Pack Keys option could not be saved.