diff config.bat @ 55124:ff3536099b37

(append_space_for_newline): Rename from append_space. Remove DEFAULT_FACE_P arg; always use current face. Callers changed. (x_produce_glyphs): Handle line-spacing property on newline char. If value is t, adjust ascent and descent to fit current row height. If value is an integer or float, set extra_line_spacing to integer value, or to float value x current line height.
author Kim F. Storm <storm@cua.dk>
date Sat, 24 Apr 2004 23:28:10 +0000
parents 1ee1cc05559b
children 9e48278ca4fb
line wrap: on
line diff