r33
(Changed UNDERLINE_LOW to UNDERLINE_DOUBLE as suggested by Ow...) committed by tkjantti
- Changed UNDERLINE_LOW to UNDERLINE_DOUBLE as suggested by Owen, in
order to make it stand out from UNDERLINE_SINGLE.
Changed UNDERLINE_LOW to UNDERLINE_DOUBLE as suggested by Owen, in
order to make it stand out from UNDERLINE_SINGLE.