Subject: Re: bug#32950: 27.0.50; Strange display bug in *Help* buffer

From: Lars Ingebrigtsen <[email-masked]>
Date: Sat, 06 Nov 2021 05:01:32 +0100

Stefan Kangas <[email-masked]> writes:

> With that change, the above bug is gone.  And it looks much better!
> I think we should change customize to use that, too.

Yes, probably.

> However, especially on a graphical display, it would be nice if you
> couldn't place point on the actual divider.  It looks almost as jarring
> as the weird point movement to me.

You mean the teensy tiny cursor?  Yes, that's odd, but...  Perhaps we
should experiment with making it intangible?  I've had really bad
experiences with that before, but perhaps it could work here.

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