diff make-dist @ 4372:189b84c7dbc5

(Fnewline): Disable the "insert one position before" optimization if it would screw up text property behavior.
author Richard M. Stallman <rms@gnu.org>
date Sat, 31 Jul 1993 05:53:23 +0000
parents 15c60018d647
children f1fa60176c8d
line wrap: on
line diff