# HG changeset patch
# User Matti Hamalainen <ccr@tnsp.org>
# Date 1530786643 -10800
# Node ID 3d68411c320c8bd51a61f8ad9fa2ef839944eea7
# Parent  60892c9b4933c87ab84616bb203ad22f2ee3ae9a
Add note about 'save as' working.

diff -r 60892c9b4933 -r 3d68411c320c mpui.js
--- a/mpui.js	Thu Jul 05 13:28:58 2018 +0300
+++ b/mpui.js	Thu Jul 05 13:30:43 2018 +0300
@@ -109,7 +109,7 @@
   mobj.innerHTML = 
     "<p><b>Things of note:</b></p>"+
     "<ul>"+
-    "<li>'Save' does not work yet. 'Save as' does.</li>"+
+    "<li>'Save' does not work yet. <b>'Save as' does.</b></li>"+
     "<li>Source code / PRG export does not work.</li>"+
     "<li>PNG/JPEG import/export does not work.</li>"+
     "<li> .. and there may be bugs.</li>"+