diff src/extents.h @ 5798:b94d6e89ea5b

Correct a couple of small things with my last change. src/ChangeLog addition: 2014-06-18 Aidan Kehoe <kehoea@parhasard.net> Correct a couple of things in my last change. * extents.h: Make #'delete-extent available. * window.c: * window.c (delete_saved_point): New. * window.c (Fdelete_window): Delete the saved point extents on deletion of the window, since otherwise they will only be garbage-collected when the buffer is. * window.c (Fset_window_buffer): Correct a thinko here, use a saved point when it *hasn't* been detached.
author Aidan Kehoe <kehoea@parhasard.net>
date Wed, 18 Jun 2014 09:26:54 +0100
parents a1808d52a34a
children 77d7b77909c2
line wrap: on
line diff
--- a/src/extents.h	Tue Jun 17 20:55:45 2014 +0100
+++ b/src/extents.h	Wed Jun 18 09:26:54 2014 +0100
@@ -133,6 +133,7 @@
 EXFUN (Fput_text_property, 5);
 
 EXFUN (Fextent_detached_p, 1);
+EXFUN (Fdelete_extent, 1);
 EXFUN (Fdetach_extent, 1);
 EXFUN (Fextent_end_position, 1);
 EXFUN (Fextent_object, 1);