mirror of
https://github.com/beefytech/Beef.git
synced 2025-06-19 00:20:25 +02:00
Bookmark folders, Drag & Drop
This commit is contained in:
Simon Lübeß
parent
b3787313be
commit
bd048e2fe6
5 changed files with 670 additions and 188 deletions
|
|
@ -52,38 +52,153 @@ namespace IDE
|
|||
public String mTitle ~ delete _;
|
||||
public String mNotes ~ delete _;
|
||||
public bool mIsDisabled;
|
||||
public BookmarkFolder mFolder;
|
||||
}
|
||||
|
||||
public class BookmarkFolder
|
||||
{
|
||||
/// The title of the bookmark-folder that will be visible in the bookmark-panel
|
||||
public String mTitle ~ delete _;
|
||||
|
||||
public List<Bookmark> mBookmarkList = new List<Bookmark>() ~
|
||||
{
|
||||
for (var bookmark in mBookmarkList)
|
||||
bookmark.Kill();
|
||||
|
||||
gApp.mDebugger.mBreakpointsChangedDelegate();
|
||||
|
||||
delete _;
|
||||
};
|
||||
|
||||
/// Gets or Sets whether every bookmark in this folder is disabled or not.
|
||||
public bool IsDisabled
|
||||
{
|
||||
get
|
||||
{
|
||||
for (var bookmark in mBookmarkList)
|
||||
if (!bookmark.mIsDisabled)
|
||||
return false;
|
||||
|
||||
return true;
|
||||
}
|
||||
set
|
||||
{
|
||||
for (var bookmark in mBookmarkList)
|
||||
bookmark.mIsDisabled = value;
|
||||
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
}
|
||||
}
|
||||
|
||||
/// Adds the given bookmark to this folder. If needed, removes it from its old folder.
|
||||
public void AddBookmark(Bookmark bookmark)
|
||||
{
|
||||
if (bookmark.mFolder != null)
|
||||
{
|
||||
bookmark.mFolder.mBookmarkList.Remove(bookmark);
|
||||
}
|
||||
mBookmarkList.Add(bookmark);
|
||||
bookmark.mFolder = this;
|
||||
|
||||
//gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
}
|
||||
}
|
||||
|
||||
public class BookmarkManager
|
||||
{
|
||||
public List<Bookmark> mBookmarkList = new List<Bookmark>() ~
|
||||
{
|
||||
for (var bookmark in mBookmarkList)
|
||||
bookmark.Kill();
|
||||
delete _;
|
||||
};
|
||||
public BookmarkFolder mRootFolder = new .();
|
||||
public List<BookmarkFolder> mBookmarkFolders = new .() {mRootFolder} ~ DeleteContainerAndItems!(_);
|
||||
|
||||
private int mBookmarkCount;
|
||||
|
||||
/// Index of the folder that was navigated to last
|
||||
public int32 mFolderIdx;
|
||||
/// Index of the bookmark (inside of its folder) that was navigated to last
|
||||
public int32 mBookmarkIdx;
|
||||
|
||||
/// Number of bookmarks created, used to generate the names.
|
||||
private int32 _createdBookmarks;
|
||||
|
||||
/// Number of folders created, used to generate the names.
|
||||
private int32 _createdFolders;
|
||||
|
||||
/// Gets or sets whether all bookmarks are disabled or not.
|
||||
public bool AllBookmarksDisabled
|
||||
{
|
||||
get
|
||||
{
|
||||
for (Bookmark b in mBookmarkList)
|
||||
for (var folder in mBookmarkFolders)
|
||||
{
|
||||
if (!b.mIsDisabled)
|
||||
if (!folder.IsDisabled)
|
||||
return false;
|
||||
}
|
||||
|
||||
return true;
|
||||
}
|
||||
set
|
||||
{
|
||||
for (var folder in mBookmarkFolders)
|
||||
{
|
||||
folder.IsDisabled = value;
|
||||
}
|
||||
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
}
|
||||
}
|
||||
|
||||
/**
|
||||
* Creates a new bookmark folder
|
||||
* @param title The title of the bookmark
|
||||
* @returns the newly created BookmarkFolder
|
||||
*/
|
||||
public BookmarkFolder CreateFolder(String title = null)
|
||||
{
|
||||
mBookmarkIdx = -1;
|
||||
|
||||
BookmarkFolder folder = new .();
|
||||
|
||||
if (title == null)
|
||||
folder.mTitle = new $"Folder {_createdFolders++}";
|
||||
else
|
||||
folder.mTitle = new String(title);
|
||||
|
||||
mBookmarkFolders.Add(folder);
|
||||
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
|
||||
return folder;
|
||||
}
|
||||
|
||||
public Bookmark CreateBookmark(String fileName, int wantLineNum, int wantColumn, bool isDisabled = false, String title = null)
|
||||
/// Deletes the given bookmark folder and all bookmarks inside it.
|
||||
public void DeleteFolder(BookmarkFolder folder)
|
||||
{
|
||||
mBookmarkIdx = (int32)mBookmarkList.Count;
|
||||
_createdBookmarks++;
|
||||
int folderIdx = mBookmarkFolders.IndexOf(folder);
|
||||
|
||||
mBookmarkFolders.Remove(folder);
|
||||
|
||||
delete folder;
|
||||
|
||||
// Select the previous folder
|
||||
if (mFolderIdx == folderIdx)
|
||||
folderIdx--;
|
||||
if (mFolderIdx >= mBookmarkFolders.Count)
|
||||
mFolderIdx = (int32)mBookmarkFolders.Count - 1;
|
||||
|
||||
// Select last bookmark inside the newly selected folder
|
||||
if (mBookmarkIdx >= mBookmarkFolders[mFolderIdx].mBookmarkList.Count)
|
||||
mBookmarkIdx = (int32)mBookmarkFolders[mFolderIdx].mBookmarkList.Count - 1;
|
||||
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
}
|
||||
|
||||
public Bookmark CreateBookmark(String fileName, int wantLineNum, int wantColumn, bool isDisabled = false, String title = null, BookmarkFolder folder = null)
|
||||
{
|
||||
var folder;
|
||||
|
||||
folder = folder ?? mRootFolder;
|
||||
|
||||
mFolderIdx = (int32)mBookmarkFolders.IndexOf(folder);
|
||||
|
||||
mBookmarkIdx = (int32)folder.mBookmarkList.Count;
|
||||
|
||||
Bookmark bookmark = new Bookmark();
|
||||
bookmark.mFileName = new String(fileName);
|
||||
|
|
@ -96,92 +211,223 @@ namespace IDE
|
|||
bookmark.mTitle = new String(title);
|
||||
|
||||
bookmark.mIsDisabled = isDisabled;
|
||||
|
||||
mBookmarkList.Add(bookmark);
|
||||
|
||||
folder.AddBookmark(bookmark);
|
||||
|
||||
gApp.mDebugger.mBreakpointsChangedDelegate();
|
||||
|
||||
//gApp.mBookmarksPanel.UpdateBookmarks();
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
|
||||
mBookmarkCount++;
|
||||
|
||||
return bookmark;
|
||||
}
|
||||
|
||||
/** Moves the bookmark to the specified folder.
|
||||
* @param bookmark The bookmark to move.
|
||||
* @param folder The folder to which the bookmark will be moved.
|
||||
* @param insertBefore If null the bookmark will be added at the end of the folder. Otherwise it will be inserted before the specified bookmark.
|
||||
*/
|
||||
public void MoveBookmarkToFolder(Bookmark bookmark, BookmarkFolder folder, Bookmark insertBefore = null)
|
||||
{
|
||||
if (bookmark.mFolder != null)
|
||||
{
|
||||
bookmark.mFolder.mBookmarkList.Remove(bookmark);
|
||||
}
|
||||
|
||||
if (insertBefore == null)
|
||||
folder.mBookmarkList.Add(bookmark);
|
||||
else
|
||||
{
|
||||
Debug.Assert(folder == insertBefore.mFolder, "Insert before must be in folder.");
|
||||
|
||||
int index = folder.mBookmarkList.IndexOf(insertBefore);
|
||||
|
||||
folder.mBookmarkList.Insert(index, bookmark);
|
||||
}
|
||||
|
||||
bookmark.mFolder = folder;
|
||||
|
||||
FixupIndices();
|
||||
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
}
|
||||
|
||||
enum Placement
|
||||
{
|
||||
Before,
|
||||
After
|
||||
}
|
||||
|
||||
public void MoveFolder(BookmarkFolder folder, Placement place = .After, BookmarkFolder target = null)
|
||||
{
|
||||
if (folder == target)
|
||||
return;
|
||||
|
||||
if (mBookmarkFolders.Contains(folder))
|
||||
mBookmarkFolders.Remove(folder);
|
||||
|
||||
if (target == null)
|
||||
{
|
||||
mBookmarkFolders.Add(folder);
|
||||
}
|
||||
else
|
||||
{
|
||||
int index = mBookmarkFolders.IndexOf(target);
|
||||
|
||||
if (place == .After)
|
||||
index++;
|
||||
|
||||
mBookmarkFolders.Insert(index, folder);
|
||||
}
|
||||
|
||||
FixupIndices();
|
||||
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
}
|
||||
|
||||
/// Make sure that the bookmark and folder indices are valid.
|
||||
private void FixupIndices()
|
||||
{
|
||||
if (mBookmarkIdx <= 0 || mBookmarkIdx >= mBookmarkFolders[mFolderIdx].mBookmarkList.Count)
|
||||
{
|
||||
mBookmarkIdx = 0;
|
||||
|
||||
// Don't have an empty folder selected
|
||||
if (mBookmarkFolders[mFolderIdx].mBookmarkList.Count == 0)
|
||||
mFolderIdx = 0;
|
||||
}
|
||||
}
|
||||
|
||||
public void DeleteBookmark(Bookmark bookmark)
|
||||
{
|
||||
int idx = mBookmarkList.IndexOf(bookmark);
|
||||
mBookmarkList.RemoveAt(idx);
|
||||
if (mBookmarkIdx == idx)
|
||||
mBookmarkIdx--;
|
||||
if (mBookmarkIdx >= mBookmarkList.Count)
|
||||
mBookmarkIdx = (int32)mBookmarkList.Count - 1;
|
||||
gApp.mDebugger.mBreakpointsChangedDelegate();
|
||||
BookmarkFolder folder = bookmark.mFolder;
|
||||
|
||||
folder.mBookmarkList.Remove(bookmark);
|
||||
|
||||
FixupIndices();
|
||||
|
||||
gApp.mDebugger.mBreakpointsChangedDelegate();
|
||||
bookmark.Kill();
|
||||
|
||||
//gApp.mBookmarksPanel.UpdateBookmarks();
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
|
||||
mBookmarkCount--;
|
||||
}
|
||||
|
||||
public void Clear()
|
||||
{
|
||||
for (var bookmark in mBookmarkList)
|
||||
bookmark.Kill();
|
||||
mBookmarkList.Clear();
|
||||
for (var folder in mBookmarkFolders)
|
||||
{
|
||||
for (var bookmark in folder.mBookmarkList)
|
||||
bookmark.Kill();
|
||||
folder.mBookmarkList.Clear();
|
||||
}
|
||||
ClearAndDeleteItems!(mBookmarkFolders);
|
||||
|
||||
mRootFolder = new BookmarkFolder();
|
||||
mBookmarkFolders.Add(mRootFolder);
|
||||
|
||||
mFolderIdx = 0;
|
||||
mBookmarkIdx = 0;
|
||||
gApp.mDebugger.mBreakpointsChangedDelegate();
|
||||
|
||||
//gApp.mBookmarksPanel.UpdateBookmarks();
|
||||
gApp.mBookmarksPanel.mBookmarksDirty = true;
|
||||
}
|
||||
|
||||
public void PrevBookmark()
|
||||
public void PrevBookmark(bool currentFolderOnly = false)
|
||||
{
|
||||
if (mBookmarkList.Count == 0)
|
||||
return;
|
||||
if (mBookmarkCount == 0)
|
||||
return;
|
||||
|
||||
int32 currentIdx = mBookmarkIdx;
|
||||
int32 currentFolderIdx = mFolderIdx;
|
||||
int32 currentBookmarkIdx = mBookmarkIdx;
|
||||
|
||||
Bookmark prevBookmark;
|
||||
Bookmark nextBookmark = null;
|
||||
|
||||
repeat
|
||||
{
|
||||
mBookmarkIdx++;
|
||||
if (mBookmarkIdx >= mBookmarkList.Count)
|
||||
mBookmarkIdx = 0;
|
||||
|
||||
prevBookmark = mBookmarkList[mBookmarkIdx];
|
||||
mBookmarkIdx++;
|
||||
|
||||
if (mBookmarkIdx >= mBookmarkFolders[mFolderIdx].mBookmarkList.Count)
|
||||
{
|
||||
if (!currentFolderOnly)
|
||||
{
|
||||
mFolderIdx++;
|
||||
|
||||
if (mFolderIdx >= mBookmarkFolders.Count)
|
||||
{
|
||||
// wrap to first folder
|
||||
mFolderIdx = 0;
|
||||
}
|
||||
}
|
||||
|
||||
// Select first bookmark in current folder (or -1 if there is no bookmark)
|
||||
mBookmarkIdx = mBookmarkFolders[mFolderIdx].mBookmarkList.IsEmpty ? -1 : 0;
|
||||
}
|
||||
|
||||
if (mBookmarkIdx >= 0)
|
||||
nextBookmark = mBookmarkFolders[mFolderIdx].mBookmarkList[mBookmarkIdx];
|
||||
else
|
||||
nextBookmark = null;
|
||||
}
|
||||
// skip disabled bookmarks, stop when we reach starting point
|
||||
while (prevBookmark.mIsDisabled && (currentIdx != mBookmarkIdx));
|
||||
while ((nextBookmark == null || nextBookmark.mIsDisabled) && ((currentFolderIdx != mFolderIdx) || (currentBookmarkIdx != mBookmarkIdx) && mBookmarkIdx != -1));
|
||||
|
||||
GotoBookmark(prevBookmark);
|
||||
// If nextBookmark is disabled no bookmark is enabled.
|
||||
if (nextBookmark != null && !nextBookmark.mIsDisabled)
|
||||
GotoBookmark(nextBookmark);
|
||||
}
|
||||
|
||||
public void NextBookmark()
|
||||
public void NextBookmark(bool currentFolderOnly = false)
|
||||
{
|
||||
if (mBookmarkList.Count == 0)
|
||||
return;
|
||||
if (mBookmarkCount == 0)
|
||||
return;
|
||||
|
||||
int32 currentIdx = mBookmarkIdx;
|
||||
int32 currentFolderIdx = mFolderIdx;
|
||||
int32 currentBookmarkIdx = mBookmarkIdx;
|
||||
|
||||
Bookmark nextBookmark;
|
||||
Bookmark nextBookmark = null;
|
||||
|
||||
repeat
|
||||
{
|
||||
mBookmarkIdx--;
|
||||
if (mBookmarkIdx < 0)
|
||||
mBookmarkIdx = (int32)mBookmarkList.Count - 1;
|
||||
|
||||
nextBookmark = mBookmarkList[mBookmarkIdx];
|
||||
if (mBookmarkIdx < 0)
|
||||
{
|
||||
if (!currentFolderOnly)
|
||||
{
|
||||
mFolderIdx--;
|
||||
|
||||
if (mFolderIdx < 0)
|
||||
{
|
||||
// wrap to last folder
|
||||
mFolderIdx = (int32)mBookmarkFolders.Count - 1;
|
||||
}
|
||||
}
|
||||
|
||||
// Select last bookmark in current folder
|
||||
mBookmarkIdx = (int32)mBookmarkFolders[mFolderIdx].mBookmarkList.Count - 1;
|
||||
}
|
||||
|
||||
if (mBookmarkIdx >= 0)
|
||||
nextBookmark = mBookmarkFolders[mFolderIdx].mBookmarkList[mBookmarkIdx];
|
||||
else
|
||||
nextBookmark = null;
|
||||
}
|
||||
// skip disabled bookmarks, stop when we reach starting point
|
||||
while (nextBookmark.mIsDisabled && (currentIdx != mBookmarkIdx));
|
||||
while ((nextBookmark == null || nextBookmark.mIsDisabled) && ((currentFolderIdx != mFolderIdx) || (currentBookmarkIdx != mBookmarkIdx) && mBookmarkIdx != -1));
|
||||
|
||||
GotoBookmark(nextBookmark);
|
||||
// If nextBookmark is disabled no bookmark is enabled.
|
||||
if (nextBookmark != null && !nextBookmark.mIsDisabled)
|
||||
GotoBookmark(nextBookmark);
|
||||
}
|
||||
|
||||
public void GotoBookmark(Bookmark bookmark)
|
||||
{
|
||||
mFolderIdx = (int32)mBookmarkFolders.IndexOf(bookmark.mFolder);
|
||||
mBookmarkIdx = (int32)bookmark.mFolder.mBookmarkList.IndexOf(bookmark);
|
||||
|
||||
gApp.ShowSourceFileLocation(bookmark.mFileName, -1, -1, bookmark.mLineNum, bookmark.mColumn, LocatorType.Smart);
|
||||
}
|
||||
}
|
||||
|
|
|
|||
Loading…
Add table
Add a link
Reference in a new issue