taglinefilesource code
highlight1744drivers/char/console.chighlight(sel_cons, new_sel_start, new_sel_end);
highlight1750drivers/char/console.chighlight(sel_cons, sel_end + 2, new_sel_end);
highlight1752drivers/char/console.chighlight(sel_cons, new_sel_end + 2, sel_end);
highlight1757drivers/char/console.chighlight(sel_cons, new_sel_start, sel_start - 2);
highlight1759drivers/char/console.chighlight(sel_cons, sel_start, new_sel_start - 2);
highlight1764drivers/char/console.chighlight(sel_cons, new_sel_start, new_sel_end);
highlight1819drivers/char/console.chighlight(sel_cons, sel_start, sel_end);