W3C home > Mailing lists > Public > public-webevents@w3.org > October to December 2011

Re: Rename Mouse Lock to Pointer Lock?

From: Vincent Scheib <scheib@google.com>
Date: Mon, 14 Nov 2011 10:10:04 -0800
Message-ID: <CAK-EfXm76WTZ6cxX0KunKQHjKyXF9_sh-AOVhoQDdoqtEBWmXQ@mail.gmail.com>
To: Dimitri Glazkov <dglazkov@chromium.org>, David Humphrey <david.humphrey@senecac.on.ca>
Cc: public-webevents@w3.org
Now that we've moved to navigator.pointer.lock() I agree with "Pointer
Lock" (and shoveling all the other terminology in the spec around). Unless
there are objections I'll update the spec doc.

On Mon, Nov 14, 2011 at 9:59 AM, Dimitri Glazkov <dglazkov@chromium.org>wrote:

> One more thought: since we now are calling the device a "pointer"
> (http://dvcs.w3.org/hg/webevents/raw-file/default/mouse-lock.html),
> perhaps the spec should be named a Pointer Lock spec?
> Apologies for bikeshedding, but I likes me consistenceee.
> :DG<
Received on Monday, 14 November 2011 18:11:07 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 19:03:54 UTC