--- a/editcommands.html Thu Jul 14 15:40:44 2011 -0600
+++ b/editcommands.html Mon Jul 18 13:39:40 2011 -0600
@@ -38,7 +38,7 @@
<body class=draft>
<div class=head id=head>
<h1>HTML Editing Commands</h1>
-<h2 class="no-num no-toc" id=work-in-progress-—-last-update-14-july-2011>Work in Progress — Last Update 14 July 2011</h2>
+<h2 class="no-num no-toc" id=work-in-progress-—-last-update-18-july-2011>Work in Progress — Last Update 18 July 2011</h2>
<dl>
<dt>Editor
<dd>Aryeh Gregor <<a href=mailto:ayg@aryeh.name>ayg@aryeh.name</a>>
@@ -377,6 +377,8 @@
* redo, undo: Needs review of the Google work on this; will probably be
quite complicated.
+
+Also need to look at contenteditable=plaintext-only.
-->
--- a/source.html Thu Jul 14 15:40:44 2011 -0600
+++ b/source.html Mon Jul 18 13:39:40 2011 -0600
@@ -309,6 +309,8 @@
* redo, undo: Needs review of the Google work on this; will probably be
quite complicated.
+
+Also need to look at contenteditable=plaintext-only.
-->
<!-- @} -->