comparison src/extents.h @ 5797:a1808d52a34a

If the position of a window's cached point is deleted, use buffer point instead src/ChangeLog addition: 2014-06-17 Aidan Kehoe <kehoea@parhasard.net> * extents.h: * window.c: * window.c (unshow_buffer): * window.c (Fset_window_buffer): Use extents, rather than markers, for the window buffer point cache, so that when the text containing that window buffer point is deleted, the window display code uses the buffer's actual point instead of the position that the marker had been moved to. Fixes Michael Heinrich's problem of http://mid.gmane.org/6zr42uxtf5.fsf@elektra.science-computing.de , introduced by Ben's patch of https://bitbucket.org/xemacs/xemacs/commits/047d37eb70d70f43803 .
author Aidan Kehoe <kehoea@parhasard.net>
date Tue, 17 Jun 2014 20:55:45 +0100
parents 308d34e9f07d
children b94d6e89ea5b
comparison
equal deleted inserted replaced
5796:acf1c26e3019 5797:a1808d52a34a
130 130
131 EXFUN (Fextent_at, 5); 131 EXFUN (Fextent_at, 5);
132 EXFUN (Fextent_property, 3); 132 EXFUN (Fextent_property, 3);
133 EXFUN (Fput_text_property, 5); 133 EXFUN (Fput_text_property, 5);
134 134
135 EXFUN (Fextent_detached_p, 1);
135 EXFUN (Fdetach_extent, 1); 136 EXFUN (Fdetach_extent, 1);
136 EXFUN (Fextent_end_position, 1); 137 EXFUN (Fextent_end_position, 1);
137 EXFUN (Fextent_object, 1); 138 EXFUN (Fextent_object, 1);
138 EXFUN (Fextent_properties, 1); 139 EXFUN (Fextent_properties, 1);
139 EXFUN (Fextent_start_position, 1); 140 EXFUN (Fextent_start_position, 1);