Re: Board sizing
"H.G. Muller" <[email protected]> Wed, 6 Apr 2016 00:07:24 +0200
| Newsgroups | gmane.comp.gnu.xboard.devel |
|---|---|
| Message-ID | <[email protected]> |
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... Well, time to go to bed!