Hi.
I am are using TLA+ Toolbox on my Ubuntu 10.04 (x64). Toolbox works fine without any hitches. But, I have been trying to open multiple tla files in different tabs, but that does not seem to work for some reason. Whenever I try to open a spec file from the Spec Explorer, it opens in the existing tab and a new tab is not created.
How do I fix this?