[user-context] Navigator interface extension now Window interface extension

I've updated the IndieUI User Context editor's draft to change navigator.userSetting() to window.userSetting and added the following note explaining the need for the change:

> NOTE
> The UserSetting interface extends the Window object rather than the Navigator object because return values can be unique to each window. For example, a user might share a particular setting with only a few trusted domains.

Current editor's draft can be viewed here:
http://rawgit.com/w3c/indie-ui/master/src/indie-ui-context.html#UserSetting

This commit:
https://github.com/w3c/indie-ui/commit/b6a01cb749988ea9b019c0a8f0eccd0d9964a278

Cheers,
James

Received on Wednesday, 17 September 2014 16:20:20 UTC