- From: Boris Zbarsky <bzbarsky@MIT.EDU>
- Date: Mon, 15 Apr 2013 11:07:49 -0400
- To: Ehsan Akhgari <ehsan.akhgari@gmail.com>
- CC: Allen Wirfs-Brock <allen@wirfs-brock.com>, "public-script-coord@w3.org" <public-script-coord@w3.org>
On 4/14/13 9:09 PM, Ehsan Akhgari wrote:
> Changing the type of the attribute here to string doesn't seem like a
> great idea to me because it will hide the enumerated nature of the
> string used here.
We'd still use an enum:
enum Something {
"0", "1", "2", "whatever"
};
-Boris
Received on Monday, 15 April 2013 15:08:20 UTC