W3C home > Mailing lists > Public > public-css-archive@w3.org > July 2018

Re: [csswg-drafts] [css-scrollbars][css-scrollbars-1] Should we also add scrollbar width control?

From: Tantek Çelik via GitHub <sysbot+gh@w3.org>
Date: Thu, 05 Jul 2018 00:36:07 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-402576465-1530750966-sysbot+gh@w3.org>
There appears to be consensus at least in the current comments on this issue for adding a property to modify scrollbar size, with some additional preference for that to be treated as a maximum size, allowing implementations to show smaller scrollbars if it’s more appropriate.

I have captured the use-cases mentioned here and to me in person on the wiki accordingly:

&lt;https://www.w3.org/wiki/Css-scrollbars#Web_App_small_scrolling_areas&gt;

Regarding the concern about terminology raised by &lt;https://github.com/silverwind&gt; about using "width" for horizontal scrollbars, vs the suggested alternative "thickness", note that CSS already has a notion of modifying the width of horizontal and vertical "bars" in the 'border-width' and 'outline-width' properties.

In particular note the pre-existing 'border-top-width' and 'border-bottom-width' properties (&lt;https://drafts.csswg.org/css-backgrounds-3/#border-width&gt;) which specifically apply to horizontal borders. Thus I think it is both ok and desirable to use "width" to refer to the scrollbar size as well, since it is consistent with those existing properties, and matches what web developers will likely already be familiar with in CSS.

I’m going to specify a 'scrollbar-width' property that takes length units that sets the maximum width of any scrollbars on an element when they are shown. 'auto' will be used as the initial value that means just use the platform default scrollbar size.

(Originally published at: http://tantek.com/2018/185/t1/)

-- 
GitHub Notification of comment by tantek
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/1958#issuecomment-402576465 using your GitHub account
Received on Thursday, 5 July 2018 00:36:11 UTC

This archive was generated by hypermail 2.3.1 : Thursday, 5 July 2018 00:36:13 UTC