diff src/widget.h @ 36801:0d387c8ca7db

(highlight_trailing_whitespace): On character terminals, skip the padding blanks inserted in extend_face_to_end_of_line, before checking for trailing whitespace.
author Gerd Moellmann <gerd@gnu.org>
date Wed, 14 Mar 2001 13:26:13 +0000
parents 29053ba75ce5
children 695cf19ef79e d7ddb3e565de
line wrap: on
line diff