A position for rendering glyph margin widgets.
The glyph margin lane where the widget should be shown.
The editor range that this widget applies to.
The priority order of the widget, used for determining which widget to render when there are multiple.
A position for rendering glyph margin widgets.