Re: A minor bug in doc. Hovering over heading shows # besides it.

> On 29 Oct 2024, at 12:31, David Rowley <dgrowleyml(at)gmail(dot)com> wrote:
>
> On Thu, 17 Oct 2024 at 20:20, Daniel Gustafsson <daniel(at)yesql(dot)se> wrote:
>> My main concern is that the relative positioning will push it off screen with a
>> break on smaller viewports (like phones).
>
> I can recreate what you sent in the screenshot, but I have to make my
> browser window as small as it will go and adjust the browser scaling
> to at least 150%. I don't know how to hover over a link on my phone to
> get tooltips to appear. Is it even possible?

Touching the screen without tapping brings up a hover event on iOS, and Android
and Firefox mobile support that as well (even better IIRC). When trying that
on my iPhone I get the "#" after the link.

> I tried hovering over it
> with my left finger, but it didn't work ;)

You should start live-streaming your web hacking sessions, this sounds
entertaining =)

> One other difference in [1] vs what we have is that they put the # on
> the left of the heading. There's less chance of having horizontal
> wrapping issues when the mouse cursor is over on the left side.
> However, we don't seem to have much of a margin for doing that.

The # tooltip on that page renders outside of the screen for me with just a
sliver of it visible to the left of the text.

On the whole I wonder if we shouldn't just go with the proposal since it
improves the status quo, optimizing for users who hover to get link anchors on
mobile probably isn't worth the investment in time.

--
Daniel Gustafsson