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

Re: [tlaplus] An Issue about the "Add New Spec..." Wizard

Dear Hengfeng,

I have the same problem. A bug report has already been filled by others on github: https://github.com/tlaplus/tlaplus/issues/135

Best regards,

Rodrigo Castelan Carlson, Dr.
Professor Adjunto IV
Departamento de Automação e Sistemas
Centro Tecnológico
Universidade Federal de Santa Catarina
Campus Universitário
Caixa Postal 476
Bairro Trindade - Florianópolis/SC
Tel: 48 3721 7675

On Wed, 5 Sep 2018 at 08:52, Hengfeng Wei <hengx...@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 tlaplus+u...@xxxxxxxxxxxxxxxx.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.