Remove 'double' UnderlineStyle (#91)

The `double` UnderlineStyle was added in anticipation of a planned Windows feature that never came to be. There are no other known uses, so remove it. Closes #89
w3c · Feb 14, 2024 · e8463fc · e8463fc
1 parent 06467f3
commit e8463fc
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/index.html b/index.html
@@ -1189,7 +1189,7 @@ <h3>TextUpdateEvent</h3>
  </section>
  <section>
  <h3>TextFormatUpdateEvent</h3>
- <pre class="idl"><xmp>enum UnderlineStyle { "none", "solid", "double", "dotted", "dashed", "wavy" };
+ <pre class="idl"><xmp>enum UnderlineStyle { "none", "solid", "dotted", "dashed", "wavy" };
 enum UnderlineThickness { "none", "thin", "thick" };
 
 dictionary TextFormatInit {