Pulling out DOMString value, b/c these aren't always string values. May revisit including current/previous values in a later iteration.
--- a/src/indie-ui-context.html Sat May 03 18:58:21 2014 -0700
+++ b/src/indie-ui-context.html Sat May 03 19:04:39 2014 -0700
@@ -164,8 +164,8 @@
<dt>void handleUserSettingChanged()</dt>
<dd>
<dl class="parameters">
- <dt>DOMString key</dt><dd>Key name for the requested user setting. E.g. 'user-font-size' or 'screenreader'</dd>
- <dt>optional DOMString? value</dt><dd>Current value of the user setting, after the setting change.</dd>
+ <dt>DOMString key</dt>
+ <dd>Key name for the requested user setting. E.g. 'user-font-size' or 'subtitles'</dd>
</dl>
</dd>
</pre>