Dear Hengfeng,I have the same problem. A bug report has already been filled by others on github: https://github.com/
tlaplus/tlaplus/issues/135Best regards,Rodrigo--Rodrigo Castelan Carlson, Dr.Professor Adjunto IVDepartamento de Automação e SistemasCentro TecnológicoUniversidade Federal de Santa CatarinaCampus UniversitárioCaixa Postal 476Bairro Trindade - Florianópolis/SC88040-900Tel: 48 3721 7675Skype: rodri...@xxxxxxxxxOn Wed, 5 Sep 2018 at 08:52, Hengfeng Wei <heng...@xxxxxxxxx> wrote:--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
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplu...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/
For more options, visit https://groups.google.com/d/