[css-ui-4] Make the animation type of user-select be discrete

Closes w3c#3153

Author: frivoal

css-ui-4/Overview.bs

@@ -1521,7 +1521,7 @@ avoiding accidental selections of neighbouring content.
 	Inherited: no
 	Applies to: all elements, and optionally to the ''::before'' and ''::after'' pseudo elements
 	Computed value: specified keyword
-	Animation type: not animatable
+	Animation type: discrete
 </pre>
 
 User Agents must not apply the 'user-select' property to
@@ -2156,6 +2156,16 @@ and
 
 This appendix is <em>informative</em>.
 
+<h3 id=changes-2-1-2020 class=no-num>Changes from the
+<a href="https://www.w3.org/TR/2020/WD-css-ui-4-20200102/">2 January 2020 Working Draft</a></h3>
+
+In addition to a number of editorial adjustments,
+the following normative changes have been made:
+
+<ul>
+	<li>Defined user-select to be discretely animatable, rather than not
+</ul>
+
 <h3 id=changes-22-12-2017 class=no-num>Changes from the
 <a href="https://www.w3.org/TR/2017/WD-css-ui-4-20171222/">22 December 2017 Working Draft</a></h3>
 

css-ui-4/issues-fpwd-2015.txt

@@ -369,3 +369,10 @@ Summary:  Add way to request dark-mode form controls
 From:     Simon Fraser
 Comment:  https://github.com/w3c/csswg-drafts/issues/3299
 Closed:   Retracted
+----
+Issue 45.
+Summary:  user-select should not be non-animatable
+From:     fantasai
+Comment:  https://github.com/w3c/csswg-drafts/issues/3153
+Closed:   Accepted
+Resolved: https://github.com/w3c/csswg-drafts/issues/3153#issuecomment-577666434