void BookmarksNotifyNameChange(FileName oldFileName, FileName newFileName) { PermanentAnchorService.RenameDocument(oldFileName, newFileName, codeEditor.DocumentAdapter); foreach (SDBookmark bookmark in codeEditor.IconBarManager.Bookmarks.OfType <SDBookmark>()) { bookmark.FileName = newFileName; } }
void BookmarksAttach() { foreach (SDBookmark bookmark in BookmarkManager.GetBookmarks(codeEditor.FileName)) { bookmark.Document = codeEditor.DocumentAdapter; codeEditor.IconBarManager.Bookmarks.Add(bookmark); } BookmarkManager.Added += BookmarkManager_Added; BookmarkManager.Removed += BookmarkManager_Removed; PermanentAnchorService.AttachDocument(codeEditor.FileName, codeEditor.DocumentAdapter); }
void BookmarksAttach() { if (bookmarksAttached) { return; } bookmarksAttached = true; foreach (SDBookmark bookmark in SD.BookmarkManager.GetBookmarks(codeEditor.FileName)) { bookmark.Document = codeEditor.Document; codeEditor.IconBarManager.Bookmarks.Add(bookmark); } SD.BookmarkManager.BookmarkAdded += BookmarkManager_Added; SD.BookmarkManager.BookmarkRemoved += BookmarkManager_Removed; PermanentAnchorService.AttachDocument(codeEditor.FileName, codeEditor.Document); }
void BookmarksDetach() { if (codeEditor.FileName != null) { PermanentAnchorService.DetachDocument(codeEditor.FileName, codeEditor.DocumentAdapter); } BookmarkManager.Added -= BookmarkManager_Added; BookmarkManager.Removed -= BookmarkManager_Removed; foreach (SDBookmark bookmark in codeEditor.IconBarManager.Bookmarks.OfType <SDBookmark>()) { if (bookmark.Document == codeEditor.DocumentAdapter) { bookmark.Document = null; } } codeEditor.IconBarManager.Bookmarks.Clear(); }