="line"><span style="--shiki-dark:#6A737D;--shiki-light:#6A737D;"> */</span></span>
<span class="line"><span style="--shiki-dark:#B392F0;--shiki-light:#6F42C1;">redo</span><span style="--shiki-dark:#E1E4E8;--shiki-light:#24292E;">(): </span><span style="--shiki-dark:#F97583;--shiki-light:#D73A49;">void</span></span></code></pre></div><h3 id="undo" tabindex="-1">undo <a class="header-anchor" href="#undo" aria-label="Permalink to &quot;undo&quot;">​</a></h3><ul><li><strong>详情</strong></li></ul><div clas