Don’t go via buffer_t to remove document marks

The document will post a “marks did change” notification, so we can remove our local notification posting.
This commit is contained in:
Allan Odgaard
2016-06-30 22:48:40 +02:00
parent 1bc09c2ee7
commit 3ff9a5dfee

View File

@@ -931,8 +931,7 @@ private:
- (void)clearAllBookmarks:(id)sender
{
document->buffer().remove_all_marks(document::kBookmarkIdentifier);
[[NSNotificationCenter defaultCenter] postNotificationName:GVColumnDataSourceDidChange object:self];
document->remove_all_marks(document::kBookmarkIdentifier);
}
// ========================