taglinefilesource code
highlight63drivers/char/selection.chighlight(sel_start, sel_end);
highlight214drivers/char/selection.chighlight(new_sel_start, new_sel_end);
highlight220drivers/char/selection.chighlight(sel_end + 2, new_sel_end);
highlight222drivers/char/selection.chighlight(new_sel_end + 2, sel_end);
highlight227drivers/char/selection.chighlight(new_sel_start, sel_start - 2);
highlight229drivers/char/selection.chighlight(sel_start, new_sel_start - 2);
highlight234drivers/char/selection.chighlight(new_sel_start, new_sel_end);