[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

An Issue about the "Add New Spec..." Wizard

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   

Attachment: New TLA+ Spec.png
Description: PNG image

Attachment: Open Root File.png
Description: PNG image

Attachment: Enter a Complete File Name.png
Description: PNG image