Re: [tlaplus] Toolbox feature suggestion

[Stephan Merz <stepha...@xxxxxxxxx>]

Hi Markus,

> On 14 Jul 2015, at 10:39, Markus Alexander Kuppe <tlaplus-go...@xxxxxxxxxxx> wrote:
> 
> On 13.07.2015 09:15, Stephan Merz wrote:
>> When working with proofs, I typically open several editor windows and
>> assign different modules to those windows so that the module
>> containing the proof I’m currently working stays visible while I’m
>> looking at a definition or lemma that comes from another module (or
>> even a different place of the same module). It would be great if the
>> Toolbox could remember the window setup associated with a project
>> when I close the Toolbox or switch to a different project so that it
>> reopens the same way when I come back.
> 
> 
> Hi Stephan,
> 
> I will look if it (easily) possible to make the Toolbox remember its
> window/view state. Since you only talk about editors, I assume other
> views (trace explorer/tlc console/...) are less important?

thanks! I mainly felt this to be an issue when doing proofs, not model checking where I don’t have that many windows open.

Stephan