Dear all,
I am using the latest toolbox (Version 1.5.7 of 18 July 2018) on gnome (Linux 4.15.0-29-generic #31~16.04.1-Ubuntu x86_64)
and have an issue about the "Add New Spec..." wizard.
The "New TLA+ Specification" dialog works.
After clicking "Browse ...", I get the "Open root file" dialog.
However, at the bottom left of this dialog, there is no the input field for me to enter a new XXX.tla file name.
Therefore, each time I have to enter a long file path in the "Root-module file" input field of the "New TLA+ Specification" dialog.
Does anyone have the same issue?
The "Add New Spec..." wizard works well on my Windows system.
Best regards,
Hengfeng Wei
