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

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

Have you tried clicking the pencil icon at the top left of the open dialog, I have a vague memory that it opens the file specification field at the bottom..sorry, on the phone so I can't check atm

On Wed, 5 Sep. 2018, 23:05 Rodrigo Castelan Carlson, <rodrigo...@xxxxxxxxx> 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


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.

--
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.