Frederic Cambus wrote: > On Mon, Mar 18, 2019 at 08:02:09PM +0200, Artturi Alm wrote: > > > > Revised diff below iterating on what Artturi previously sent, and > > > a snippet of wsconsctl output with the diff applied: > > > > > > display.width=1600 > > > display.height=900 > > > display.depth=32 > > > +display.fontwidth=12 > > > +display.fontheight=24 > > > display.emulations=vt100 > > > display.screentypes=std > > > display.focus=4 > > > > > > [1] https://undeadly.org/cgi?action=article&sid=20131023125815 > > > > > > Comments? OK? > > > > > > > While my opinion is irrelevant, it does look good to me, thanks :] > > Ping. Anyone willing to OK the revised diff?
ok with me.
