mirror of
https://github.com/beefytech/Beef.git
synced 2025-06-19 08:30:25 +02:00
Made open emit markers even more persistent
This commit is contained in:
parent
5763ac7d83
commit
e3b3089623
4 changed files with 36 additions and 10 deletions
|
@ -5858,10 +5858,13 @@ namespace IDE.ui
|
|||
{
|
||||
if (entry.mParseRevision != data.mCollapseParseRevision)
|
||||
{
|
||||
if (mEmbeds.GetAndRemove(entry.mAnchorLine) case .Ok(let val))
|
||||
if (mEmbeds.TryGet(entry.mAnchorLine, ?, var value))
|
||||
{
|
||||
//Debug.WriteLine($" Deleting(2) {val.value}");
|
||||
delete val.value;
|
||||
if (!(value is EmitEmbed))
|
||||
{
|
||||
mEmbeds.Remove(entry.mAnchorLine);
|
||||
delete value;
|
||||
}
|
||||
}
|
||||
@entry.Remove();
|
||||
}
|
||||
|
@ -6275,8 +6278,15 @@ namespace IDE.ui
|
|||
|
||||
if (failed)
|
||||
{
|
||||
if (mEmbeds.GetAndRemove(prevAnchorLine) case .Ok(let val))
|
||||
delete val.value;
|
||||
if (mEmbeds.TryGet(prevAnchorLine, ?, var value))
|
||||
{
|
||||
if (!(value is EmitEmbed))
|
||||
{
|
||||
mEmbeds.Remove(prevAnchorLine);
|
||||
delete value;
|
||||
}
|
||||
}
|
||||
|
||||
entry.mDeleted = true;
|
||||
}
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue