Hi Ralf, Something quick I noticed...
On Tue, Jan 5, 2021 at 4:05 PM Ralf Schlatterbeck <[email protected]> wrote: > > + display-height-chars: > + description: Height of the display, in character cells, Spurious comma instead of period. Cheers, Miguel
