- From: Florian Rivoal <florian@rivoal.net>
- Date: Wed, 26 Apr 2017 08:25:25 +0800
- To: Amelia Bellamy-Royds <amelia.bellamy.royds@gmail.com>
- Cc: Jens Oliver Meiert <jens@meiert.com>, W3C WWW Style <www-style@w3.org>
- Message-Id: <059C21F9-02BA-40C8-9C1C-9F897D77B43C@rivoal.net>
The old definition in https://www.w3.org/TR/2000/WD-css3-userint-20000216#user-select <https://www.w3.org/TR/2000/WD-css3-userint-20000216#user-select> was quite different from the modern version, and dealt with things like whether you can select one or multiple items in the dropdown that you get with the <select> element. That never got implemented, so it was dropped. CSS-UI-4 specifies the modern version you know about, working back from what implementations actually do, and harmonizing the differences. —Florian > On Apr 25, 2017, at 23:16, Amelia Bellamy-Royds <amelia.bellamy.royds@gmail.com> wrote: > > user-select is now defined in CSS UI level 4. Maybe one of the editors can explain which aspects of the definition were problematic enough to justify delaying it: > https://drafts.csswg.org/css-ui-4/#propdef-user-select <https://drafts.csswg.org/css-ui-4/#propdef-user-select> > > By the way, the CSS WG has recently published a consolidated index, which makes it much easier to find the current definition of a property. I don't think they have announced it loudly enough on this list -- it is very helpful! > https://drafts.csswg.org/indexes/ <https://drafts.csswg.org/indexes/> > > On 25 April 2017 at 08:45, Jens Oliver Meiert <jens@meiert.com <mailto:jens@meiert.com>> wrote: > I’ve noticed the “user-select” property being used in the wild but > find no mention in the specs; > https://www.w3.org/TR/2000/WD-css3-userint-20000216#user-select <https://www.w3.org/TR/2000/WD-css3-userint-20000216#user-select> talked > about it but the later referred-to https://www.w3.org/TR/css-ui-3/ <https://www.w3.org/TR/css-ui-3/> > doesn’t know it anymore, for example. > > Have I missed another draft, or what’s the latest on this? > > Thanks, > > Jens. > > -- > Jens Oliver Meiert > https://meiert.com/en/ <https://meiert.com/en/> > > ✎ On Web Development: https://meiert.com/webdev <https://meiert.com/webdev> > >
Received on Wednesday, 26 April 2017 00:25:55 UTC