Strange resizing of main buffer after minibuffer dialog corres

[Makarius]

This is GNU Emacs 23.1.1 on Xubuntu 9.10.

Visiting (or revisiting) a .thy file via the minibuffer dialog shrinks the corresponding main editor frame by a few pixels. Repeated invocations of C-x C-v will reduce it to a single line, where it stabilizes.

This odd behaviour does not affect files that are alien to Proof General, such as plain text files.

[David Aspinall]

I tried briefly to reproduce this but couldn't. Would likely need more info on exactly what fonts you are using and whether with Unicode Tokens or not.

In any case it's highly unlikely anything to do with PG but something in underlying Emacs display engine which is unlikely to be repaired for an obsolete version of Emacs. So closing this bug here as invalid. But a useful pointer in case anyone finds the same.

Now that Emacs 23 is a year old perhaps we should drop support for Emacs 22 from PG altogether.

[Makarius]

Er, well this is Emacs 23.1.1, not Emacs 22. This is the standard GNU Emacs of Ubuntu 10.04 LTS (I've got that version wrong above).

My default font is now IsabelleText? (see Isabelle2009-2/lib/fonts), but the same problem occurs with DejaVu? Mono, for example. Unicode tokens on/off does not matter.

Since Emacs tends to substitute missing glyphs from other fonts, I have also checked without any of my usual add-on fonts (STIX etc.), but the problem still persists.

[Makarius]

I have tried again on a completely different installation of Ubuntu 10.04 LTS, and could not reproduce the problem.

Maybe it is just some cruft in my main Xubuntu 10.04 LTS (64bit version) that has accumulated over time.

[coquser]

Replying to makarius:

This is GNU Emacs 23.1.1 on Xubuntu 9.10.

Visiting (or revisiting) a .thy file via the minibuffer dialog shrinks the corresponding main editor frame by a few pixels. Repeated invocations of C-x C-v will reduce it to a single line, where it stabilizes.

This odd behaviour does not affect files that are alien to Proof General, such as plain text files.

I'm getting the same behaviour using Coq in Emacs 23 on Kubuntu 12.04 LTS, on two different (albeit similar) machines.

However, I only get when the main Emacs frame is maximised. When the Emacs frame is not maximised, the frame will grow a few pixels in height when the minibuffer is active, but will shrink similarly when the minibuffer is no longer active.

I think the resizing has something to do with the toolbar. If I uncheck the toolbar option (which for some reason means that the toolbar is always shown), no resizing occurs, whereas if the toolbar option is checked (the toolbar is not shown when editing a file, but is shown when the minibuffer is active), the toolbar area is resized whenever icons need to be shown. This translates to a small change in the size of the Emacs frame

I guess a maximised frame gets shrunk by a line to make room for the extra toolbar space, then the extra toolbar space is removed again, but since the frame still thinks it is maximised, making room for toolbar space again results in the frame shrinking by one line, and so on.

I've taken the liberty of reopening this bug, since there is now more information about how to recreate the problem.

[David Aspinall]

This seems likely to be an underlying emacs bug, if it is still present. Closing here for now.