</span><span class="p">.</span><span class="nx">push</span> <span class="nx">@state</span>
    <span class="vi">@state = </span><span class="nx">@redos</span><span class="p">.</span><span class="nx">pop</span><span class="p">()</span>
    <span class="nx">@trigger</span> <span class="s">&#39;redo&#39;</span><span class="p">,</span> <span class="nx">@state</span>
    <span class="nx">@synchronize</span><span class="p">()</span>
    <span class="nx">@redos</span><span class="p">.</span><span class="nx">length