W3C home > Mailing lists > Public > public-script-coord@w3.org > October to December 2012

Re: IDL: special DOMString that converts to Unicode

From: Anne van Kesteren <annevk@annevk.nl>
Date: Thu, 1 Nov 2012 12:29:34 +0100
Message-ID: <CADnb78hzn_kR3XU5_pa6W1_OqC6hQtjMKJdOXM3nbOuA_sOgCg@mail.gmail.com>
To: Brendan Eich <brendan@mozilla.org>
Cc: Allen Wirfs-Brock <allen@wirfs-brock.com>, Jonas Sicking <jonas@sicking.cc>, Simon Pieters <simonp@opera.com>, Robin Berjon <robin@w3.org>, public-script-coord@w3.org
On Tue, Oct 30, 2012 at 6:35 PM, Brendan Eich <brendan@mozilla.org> wrote:
> No, you want to add a type. Expect discussion (call the whaambulance over
> "stop energy"). WebIDL is a shared good and people have to care about *not*
> adding to it, or it'll grow like crazy. (This happens with JS too, and HTML
> -- but you know all about that!)

:-) Okay, I'm happy with an attribute. I did just notice this also
affects every string we want to display in the UI, e.g. those in the
Notifications API.

Received on Thursday, 1 November 2012 11:30:02 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 17:14:07 UTC