GNU bug report logs - #14993
[PATCH] Update information about fonts

Previous Next

Full log

View this message in rfc822 format

From: Lars Ingebrigtsen <larsi <at> gnus.org>
To: Robert Pluim <rpluim <at> gmail.com>
Cc: xfq.free <at> gmail.com, Eli Zaretskii <eliz <at> gnu.org>, 14993 <at> debbugs.gnu.org
Subject: bug#14993: [PATCH] Update information about fonts
Date: Sat, 15 Aug 2020 12:25:23 +0200

Robert Pluim <rpluim <at> gmail.com> writes:

> I guess you'd need to be a bit careful that successive frames didnʼt
> overlap with previous ones (especially the last one).

Yeah...  hm...  and with images that may overlap when "scrolling down".
Well, that's a problem in general: A frame may show half a line at the
bottom, for instance, and we don't really want that when printing the
buffer.

So it would take more than just wrapping that function to have a
workable solution...

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no

Previous Next

GNU bug tracking system
Copyright (C) 1999 Darren O. Benham, 1997,2003 nCipher Corporation Ltd, 1994-97 Ian Jackson.