ass="line"><a name="l00386"></a><span class="lineno">  386</span>&#160;    <span class="keywordtype">size_t</span> _undo_pos;   </div><div class="line"><a name="l00387"></a><span class="lineno">  387</span>&#160;    <span class="keywordtype">int</span> _prev_undo_pos; </div><div class="line"><a name="l00388"></a><span class="lineno">  388</span>&#160;    std::deque&lt;UndoObject*&gt; _undo_list;</div><div class="line"><a name="l00389"></a><span class="lineno">  389</span>&#160;    std::set&lt;Marker*&gt; _s