Duchier-Denys@cs.yale.edu (Denys Duchier) (01/24/90)
I think direct_output_for_insert should fail (return 0) when the
current buffer is shared (buffer_shared > 1). The reason is that we
are going to have to redisplay anyway.
I noticed this problem because it interfered with my proposed
improvement for shared buffer redisplay.
The fix is simply to insert the additional disjunct:
|| buffer_shared > 1
in the condition at the beginning of direct_output_for_insert.
--Denys