Well, time to go to bed!
Until -size 81 everything works as it should, although there is a damped
oscillation to 72 before it settles on 80. But at -size 82 the initial
popup is reduced extremely aggressively by the screen manager, to 37,
and leaves the excessively high clocks...
- [XBoard-devel] Board sizing H.G. Muller
- Re: [XBoard-devel] Board sizing H.G. Muller
- Re: [XBoard-devel] Board sizing H.G. Muller
- Re: [XBoard-devel] Board sizing H.G. Muller
- Re: [XBoard-devel] Board sizing H.G. Muller
- Re: [XBoard-devel] Board sizing H.G. Muller
- Re: [XBoard-devel] Board sizing H.G. Muller
