<!DOCTYPE html>
<html><head></head><body><h1 operator="" id="markers">Markers</h1><p>A marker maintains a position in the buffer, which stays valid across arbitary editing operations. A marker&#39;s position can be get and set using <code>pos</code>.</p><dl><dt operator="" class=" comma-expr"><div class="list" operator=""><span class="symbol" operator="">classdoc</span><span class="symbol">&#39;marker</span></div></dt><dt class=" comma-expr"><div class="list" operator=""><span class="symbol" operator="">fun