Description:
----[For better reports, please attach the log file after submitting. You can find it in /home/torbjorn/.mysql/workbench/log/wb.log]
While editing a model I changed the options for one of the tables, 'Pack keys' in the table Options tab. (From empty to 'Pack All')
I then switched to another table by doubleclicking on it in MySQL Model/Physical Schemas/Tables. (Without closing the tab in which I was editing the first table, i.e I replaced the first table in the edit tab)
The table name in the edit tab changed accordingly as expected, and the Options(..., Partitioning, Options, Inserts, ...) tab remained open. And the 'Pack keys' gadget kept its value, the one that I changed to for the first table. So it would seem that the second table also had received a new setting for 'Pack Keys'.
However, when I closed the edit tab and doubleclicked on the second table in Physical Schemas to reopen the edit tab, and then opened the Options tab again, 'Pack Keys' was empty, i.e the default value.
So right now if I want to edit 'Pack Keys' for multiple tables I have to close the edit tab after editing each table, which is manageable, but annoying and clearly wrong..
How to repeat:
1. Open/create a model with multiple tables in it. (Tables with nothing set for 'Pack Keys')
2. In the Tables list in MySQL Model tab/Physical Schemas open a table for editing by doubleclicking on it. I would expect rightclick->Edit '<table>'... to work the same way, but I haven't tried it.
3. In the table edit tab/Options tab, change the value of 'Pack Keys'. I changed from empty to 'Pack All'.
4. Doubleclick on another table in the Tables list to replace the first table in the edit tab.
5. In the table edit tab/Options tab the 'Pack Keys' now seems to have the same value as the first table was set to use. This is the bug.
6. Close the edit tab, and reopen it for the second table.
7. Options/'Pack Keys' is now back to its original value, as it was to begin with.
