revert cursor stuff hiding for petri

resen/petri/index.html

@@ -133,7 +133,7 @@
     </p>
 
     <br>
-    <div class="petri" onmousemove="show_cursor(this)" oncontextmenu="toggle_fullscreen(event)"></div>
+    <div class="petri" oncontextmenu="toggle_fullscreen(event)"></div>
 
     <textarea id="poem" autocomplete="off" readonly rows="15" spellcheck="false"></textarea>
 

resen/style.css

@@ -857,13 +857,17 @@ nav[dir=rtl] ~ :nth-last-child(1 of .refs):not([data-title]) {
 }
 
 @keyframes show_cursor {
-    0%, 100% {cursor: pointer}
+    0%, 100% {cursor: var(--cursor)}
 }
 
 .show_cursor {
     animation: 3s show_cursor;
 }
 
+button.show_cursor {
+    --cursor: pointer;
+}
+
 [onmousemove*=show_cursor] {  /* Note this will not capture element where the handler was added programmatically */
     cursor: none;
 }