1
0
Fork 0
mirror of https://github.com/beefytech/Beef.git synced 2025-07-01 05:45:59 +02:00

Improved platform/config rename and delete

This commit is contained in:
Brian Fiete 2022-03-03 09:53:19 -08:00
parent 20a932f5a7
commit c3f7a996e0
3 changed files with 85 additions and 7 deletions

View file

@ -320,6 +320,13 @@ namespace IDE.ui
}
}
}
if (gApp.mWorkspace.mExtraPlatforms.GetAndRemove(entry.mOrigName) case .Ok(let val))
delete val;
if (!entry.mDelete)
gApp.mWorkspace.mExtraPlatforms.Add(new .(entry.mNewName));
gApp.mWorkspace.MarkPlatformNamesDirty();
}
for (var window in gApp.mWindows)