Searched refs:free_user_marks (Results 1 – 6 of 6) sorted by relevance
42 extern void free_user_marks (Buffer *);
854 if (buf->user_marks != NULL) free_user_marks (buf); in delete_buffer()
1110 void free_user_marks (Buffer *b) /*{{{*/ in free_user_marks() function
47 extern void free_user_marks (Buffer *);
1140 void free_user_marks (Buffer *b) /*{{{*/ in free_user_marks() function
1115 if (buf->user_marks != NULL) free_user_marks (buf); in delete_buffer()