Re: [csswg-drafts] [css-overflow-3] shorten name of overflow-clip-margin? (#7464)

The CSS Working Group just discussed `shorten the name of overflow-clip-margin`, and agreed to the following:

* `RESOLVED: Close no change.`

<details><summary>The full IRC log of that discussion</summary>
&lt;TabAtkins> Topic: shorten the name of overflow-clip-margin<br>
&lt;TabAtkins> fantasai: Was looking over how long our property names are getting once we add logical longhands.<br>
&lt;TabAtkins> fantasai: Was considering just using overflow-margin<br>
&lt;emilio> q+<br>
&lt;fantasai> TabAtkins: I echo jfkthame, dropping 'clip' implies it works on all values of overflow, not just 'clip'<br>
&lt;astearns> ack emilio<br>
&lt;TabAtkins> emilio: Given 2 engines shipped, unless there's a strong use-case to rename I'd rather not do it<br>
&lt;vmpstr> +1<br>
&lt;jfkthame> +1<br>
&lt;TabAtkins> astearns: Given negativ efeedback, okay to close no change?<br>
&lt;TabAtkins> fantasai: Yes<br>
&lt;TabAtkins> RESOLVED: Close no change.<br>
</details>


-- 
GitHub Notification of comment by css-meeting-bot
Please view or discuss this issue at https://github.com/w3c/csswg-drafts/issues/7464#issuecomment-1196961897 using your GitHub account


-- 
Sent via github-notify-ml as configured in https://github.com/w3c/github-notify-ml-config

Received on Wednesday, 27 July 2022 16:11:02 UTC