From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on inbox.vuxu.org X-Spam-Level: *** X-Spam-Status: No, score=3.7 required=5.0 tests=BULK_RE_SUSP_NTLD,DKIM_INVALID, DKIM_SIGNED,FROM_SUSPICIOUS_NTLD,PDS_OTHER_BAD_TLD autolearn=no autolearn_force=no version=3.4.4 Received: (qmail 13707 invoked from network); 2 Feb 2021 19:13:22 -0000 Received: from 1ess.inri.net (216.126.196.35) by inbox.vuxu.org with ESMTPUTF8; 2 Feb 2021 19:13:22 -0000 Received: from out2.migadu.com ([188.165.223.204]) by 1ess; Tue Feb 2 13:24:17 -0500 2021 Message-ID: <606D02A096CBB28137E68175AE4EB31D@hog> DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=a-b.xyz; s=key1; t=1612290248; h=from:from:reply-to:subject:subject:date:date:message-id:message-id: to:to:cc:mime-version:mime-version:content-type:content-type: content-transfer-encoding:content-transfer-encoding: in-reply-to:in-reply-to; bh=8fJgjTy1xHHO/UnaBBvskrHj3FEnPKStDIogR6bYGgw=; b=kxyH2v26hJG9RjsENFW+6uP6icU8Ge0jPwyc9YYvJDlTo9qqA9g5nl79aMWcPYmjlkOSpA BsmuL/p2WDLJoCezNdShXVIc911yLfBme7jFvVrThDClJ4Put5H5bW9Ngz/+H47I6S4RSl Uzc8bn6mLfMf2S8hkcJh5kURRjB99Zte3jCczbY7GrHynX7YbXHQyDfCyRQtv/pbl8NFRB ybhqdx7VhStzBUvIsUkiztoLugPopTa6ty3x+zM34wOdb9sehLIMHF3VJoqaNUP8OxHQfz ctkM3AmocsqE5dhug4Pv1OijzKVNSsHo4inhSq5QmotL8JwMwLX40y559TeETg== To: 9front@9front.org Date: Tue, 02 Feb 2021 19:24:05 +0100 X-Report-Abuse: Please report any abuse attempt to abuse@migadu.com and include these headers. From: kvik@a-b.xyz In-Reply-To: MIME-Version: 1.0 Content-Type: text/plain; charset="US-ASCII" Content-Transfer-Encoding: 7bit X-Migadu-Flow: FLOW_OUT X-Migadu-Auth-User: kvik@a-b.xyz List-ID: <9front.9front.org> List-Help: X-Glyph: ➈ X-Bullshit: HTML over SVG full-stack base Subject: Re: [9front] patch ssh.c extract window resolution Reply-To: 9front@9front.org Precedence: bulk > sz = stringsize(f, "0"); This is going to be quite wrong for variable width fonts. It seems that we could avoid this code (also in mc, etc.) if rio provided these metrics in a per-window file.