The Coq mailing list

[Pierre Courtieu <pierre.courtieu AT gmail.com>]

Hi,

The annoying thing here is to have to resize windows each time you
restart coq, isn't it? My guess is that most people killing coq do
want the associated frames to disappear, especially if this is for
doing something else than coq with emacs.

So trying to remember the size and places of frames of response and
goals buffers is the best way to go. This should not be too hard to
implement indeed, using registers. We could also have a special
command "restart coq on this new file without killing frames". For the
latter it would help to know in which scenario you need to restart
coq.

P.



2018-04-13 14:23 GMT+02:00 Stefan Monnier 
<monnier AT iro.umontreal.ca>:
>> 3. when the Coq process dies, so do the associated buffers.
>
> This is done by Proof-General, not by Emacs, so that should be "easy" to 
> fix.
>
>
>         Stefan