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

Re: [tlaplus] Toolbox feature suggestion

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?