- From: Edward O'Connor <eoconnor@apple.com>
- Date: Tue, 10 Nov 2015 13:35:48 -0800
- To: Alan Stearns <stearns@adobe.com>
- Cc: Michiel Bijl <michiel@agosto.nl>, John Foliot <john.foliot@deque.com>, fantasai <fantasai@inkedblade.net>, "Belfanti\, Paul" <paul.belfanti@pearson.com>, Carlos A Velasco <carlos.velasco@fit.fraunhofer.de>, Coralie Mercier <coralie@w3.org>, "spec-prod\@w3.org" <spec-prod@w3.org>, "chairs\@w3.org" <chairs@w3.org>, w3c-ac-forum <w3c-ac-forum@w3.org>, W3C WAI Protocols & Formats <public-pfwg@w3.org>
Hi Alan,
You wrote:
> Here’s one problem I see in Safari:
>
> 1. Scroll TOC to bottom
> 2. Keep scrolling down in TOC pane (right pane now scrolls down)
> 3. Try to scroll TOC up (only right pane scrolls up until it hits the
> top)
Oh, thanks, that's quite useful. Coincidentally, a fix for this landed
in WebKit yesterday:
https://bugs.webkit.org/show_bug.cgi?id=151015
Ted
Received on Tuesday, 10 November 2015 21:36:41 UTC