update from devel 276a98e

.gitrev

@@ -1 +1 @@
-0bc057b
+276a98e

poisson/index.html

@@ -27,15 +27,13 @@
         <div style="margin:auto;">
           <input type="button" title="space" class="button" id="button_pause" value="pause" onclick="togglePause();">
           <input type="button" title='r' class="button" id="button_restart" value="restart" onclick="pressButton('r')">
-          <input type="button" title='o' class="button" id="button_o" value="reset opt" onclick="pressButton('o')">
         </div>
         <div style="width:400px;margin:auto;text-align:left;">
           <kbd>click</kbd> draw mask,
           <kbd>space</kbd> toggle pause,
-          <kbd>r</kbd> restart,
+          <kbd>r</kbd> restart
           <br>
-          <kbd>o</kbd> reset optimizer<br>
-          <span id="text_status" style="margin-top:5px;"></span>
+          <div id="text_status" style="margin-top:10px;"></div>
         </div>
         <!--
         <div style="display: inline-block; vertical-align: top; margin: 0;">

poisson/poisson_inc.js

@@ -41,7 +41,8 @@ function restart() {
 }
 
 function setButtonStyle(button_name, pressed) {
-  document.getElementById('button_' + button_name).className = pressed ? "button pressed" : "button";
+  document.getElementById('button_' + button_name).className =
+      pressed ? 'button pressed' : 'button';
 }
 
 function syncButtons() {
@@ -172,7 +173,7 @@ function postRun() {
 
   // Disable Space on buttons.
   [
-    window.button_pause, window.button_restart, window.button_i,
+    window.button_pause, window.button_restart,
   ].forEach(b => {
     b.addEventListener('keydown', function(e){
       if (e.key == ' ') {