taglinefilesource code
highlight64drivers/char/selection.chighlight(sel_start, sel_end);
highlight215drivers/char/selection.chighlight(new_sel_start, new_sel_end);
highlight221drivers/char/selection.chighlight(sel_end + 2, new_sel_end);
highlight223drivers/char/selection.chighlight(new_sel_end + 2, sel_end);
highlight228drivers/char/selection.chighlight(new_sel_start, sel_start - 2);
highlight230drivers/char/selection.chighlight(sel_start, new_sel_start - 2);
highlight235drivers/char/selection.chighlight(new_sel_start, new_sel_end);