make highlighting of saved lines more efficient, doesn't need to redo layout