Re: [csswg-drafts] [css-tables][css21] Rename table box to table grid box from CSS Meeting Bot via GitHub on 2018-04-12 (public-css-archive@w3.org from April 2018)

From: CSS Meeting Bot via GitHub <sysbot+gh@w3.org>
Date: Thu, 12 Apr 2018 12:47:49 +0000
To: public-css-archive@w3.org
Message-ID: <issue_comment.created-380792875-1523537268-sysbot+gh@w3.org>

The Working Group just discussed `table wrapper box`, and agreed to the following resolutions:

* `RESOLVED: rename table-box to table-grid-box`

<details><summary>The full IRC log of that discussion</summary>
&lt;fantasai> Topic: table wrapper box<br>
&lt;fantasai> github: https://github.com/w3c/csswg-drafts/issues/2501<br>
&lt;dael_> github: https://github.com/w3c/csswg-drafts/issues/2501<br>
&lt;dael_> fantasai: Proposal fremy was complinaing about confustion between the two. At some point the suggestiong of table-grid-box can up. So request is rename table-box to table-grid-box<br>
&lt;dael_> astearns: Obj?<br>
&lt;dael_> RESOLVED: rename table-box to table-grid-box<br>
</details>


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

Received on Thursday, 12 April 2018 12:47:55 UTC