3 frames mode - get frames to appear at specific positions with specific sizes

[jonleivent]

I work mostly in 3 windows mode with separate frames (Proof-General -> Quick Options -> Display -> Multiple Windows checked). Is there a way, when restarting Coq, to get the proof and response frames to appear at consistent places with specific sizes? I think there used to be a way to do this, as by setting the places/sizes by hand and then triggering some memoization option of those settings, but I can't find it anymore.

[cpitclaudel]

Could this bit of code be relevant?

(defvar pg-frame-configuration nil
  "Variable storing last used frame configuration.")

;; FIXME: would be nice to try storing this persistently.
(defun pg-cache-frame-configuration ()
  "Cache the current frame configuration, between prover restarts."
  (setq pg-frame-configuration (current-frame-configuration)))

If so, then it doesn't seem that there was ever a way to save the configuration across emacs restarts, but it should work across Coq restarts.

[jonleivent]

I made an interactive version of pg-cache-frame-configuration (just by adding (interactive) to a copy of it with a slightly different name), but calling it after I've got the frames configured to my liking doesn't work. When I restart coq, the frames start up and then are immediately minimized - and they don't have the right size or placement anyway.

[cpitclaudel]

Indeed, David wrote the following in 2004:

    ;; Restore an existing frame configuration (seems buggy, typical)
    (if pg-frame-configuration
    (set-frame-configuration pg-frame-configuration 'nodelete)))

I don’t have experience with this part of the code at all (in fact, I don't really have experience with any of it), so @DavidAspinall is essentially the only one who might help here, unless @Matafou is familiar with it.

[Matafou]

Hi,

We could define a variable proof-saved-layout, which would be applied
instead of the default layout. And let the user store this layout the way
he likes (the following gives a hint (using the desktop library:
http://www.emacswiki.org/emacs/frame-restore.el).

P.

2015-11-23 22:29 GMT+01:00 Clément Pit--Claudel notifications@github.com:

Indeed, David wrote the following in 2004:

;; Restore an existing frame configuration (seems buggy, typical)
(if pg-frame-configuration
(set-frame-configuration pg-frame-configuration 'nodelete)))

I don’t have experience with this part of the code at all (in fact, I
don't really have experience with any of it), so @DavidAspinall
https://github.com/DavidAspinall is essentially the only one who might
help here, unless @Matafou https://github.com/Matafou is familiar with
it.

—
Reply to this email directly or view it on GitHub
#13 (comment).