Fixup text for Application Keys since it still referred to the numbered keys.
--- a/html/DOM3-Events.html Thu Nov 14 17:46:08 2013 +0900
+++ b/html/DOM3-Events.html Thu Nov 14 18:27:15 2013 +0900
@@ -7375,10 +7375,9 @@
<section id="keys-apps">
<h4>Application Keys</h4>
- <p>The exact number of these LaunchApplication keys varies on different platforms, and only the first
- few are defined explicitly here. Additional key names are implicitly defined by incrementing the
- base-10 index at the end of the function key name. Thus
- <span class="key">'LaunchApplication12'</span> is a valid key value.
+ <p>The Application Keys are special keys that are assigned to launch a particular application.
+ Additional application key names can be defined by concatenating 'Launch' with the name
+ of the application.
</p>
<!-- Key tables. Note that all keys must be defined within a <div class="key-table"> -->
<div id="key-table-apps" class="key-table">