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();
}
