14     selection = null;  field in ImageMappingEditor
31     constructor(selection) {  argument
32         this.selection = selection;
45         const area = this.selection.obj; // the editor text area
68             this.selection.start = img.start - 2;
69             this.selection.end = img.end + 2;
83                 this.selection.start = link.start;
84                 this.selection.end = link.end;
99         DWsetSelection(this.selection);
116         const area = this.selection.obj; // the editor text area
121         const start = area.value.lastIndexOf(open, this.selection.start);
122         const end = area.value.indexOf(close, this.selection.start);
125         const prev = area.value.lastIndexOf(close, this.selection.start - close.length);
126         const next = area.value.indexOf(open, this.selection.start + open.length);
415             this.selection,