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

[Hengfeng Wei <hengx...@xxxxxxxxx>]

Thanks for your reply.

Please see the answer from Morgan Weetman above for a solution.

On Wednesday, September 5, 2018 at 9:05:07 PM UTC+8, Rodrigo Castelan Carlson wrote:

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

-- 

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

88040-900

Tel: 48 3721 7675

Skype: rodri...@xxxxxxxxx

Web: http://rodrigocarlson.paginas.ufsc.br/

On 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/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.