Re: Scrollable TABLEs...

Here's a workaround: http://jsfiddle.net/mnnGA/29/

And some browser bugs:

* https://bugs.webkit.org/show_bug.cgi?id=3239
* https://bugzilla.mozilla.org/show_bug.cgi?id=28800
* https://bugzilla.mozilla.org/show_bug.cgi?id=674214

On Fri, Nov 18, 2016 at 6:23 AM, Steve <steve.b@osfda.org> wrote:
I originally posted this on the W3 group's list; an admin suggested this
style list is the more appropriate venue:
-------- Forwarded Message --------

Subject: Re: HTML6 Suggestions...
Date: Thu, 17 Nov 2016 22:55:11 +0100
From: chaals@yandex-team.ru
To: Steve <steve.b@osfda.org>, Travis Leithead <
travis.leithead@microsoft.com>, public-html@w3.org <public-html@w3.org> .
.
.
But I wonder if this is really a browser implementation issue. HTML has
tbody and thead/tfoot in the expectation that browsers will implement the
scrollability - probably doing something like setting an explicit height on
the tbody with CSS - some time at the end of the 1990s.

I don't think there is any need to change HTML itself, and I suspect that
CSS also has the relevant properties - it intuitively seems that something
like

tbody { height:2em;overflow:hidden }

should do the trick, but in the couple of browsers I tested - Yandex, based
on blink like Chrome Vivaldi and Opera, and Firefox - it doesn't.

cheers

Chaals

17.11.2016, 22:24, "Steve" <steve.b@osfda.org>:
Sounds like you might need the cooperation of both parties; how can I post
to them?


On 11/17/2016 4:04 PM, Travis Leithead wrote:
Love it, but this should go to www-style J. I don’t think we want more
stylistic attributes in HTML.



From: Steve [mailto:steve.b@osfda.org]
Sent: Wednesday, November 16, 2016 11:33 AM
To: public-html@w3.org
Subject: HTML6 Suggestions...



Please, oh, please, oh, please: Finally fix TABLEs so that the TBODY can be
made scrollable for a fixed table height;
an attribute like:

<table...scrollable="scrollable"...





-- 
Charles McCathie Nevile - web standards - CTO Office, Yandex
chaals@yandex-team.ru - - - Find more at http://yandex.com