Extern/Beef
1
0
Fork 0
mirror of https://github.com/beefytech/Beef.git synced 2025-06-15 06:44:10 +02:00
Code Activity

Fix detection of external modifications

Browse source
This commit is contained in:
disarray2077 2023-05-05 15:03:24 -03:00
parent d3ca45d80a
commit 64700d7a95
3 changed files with 17 additions and 6 deletions
Download patch file Download diff file Expand all files Collapse all files

10
IDE/src/IDEApp.bf
View file

@ -1473,6 +1473,12 @@ namespace IDE
if (strOutDlg != null) if (strOutDlg != null)
strOutDlg(useText); strOutDlg(useText);
for (var entry in mWorkspace.mProjectFileEntries)
{
if (entry.mPath == path)
entry.UpdateLastWriteTime();
}
return true; return true;
} }
@ -2868,7 +2874,7 @@ namespace IDE
} }
else else
{ {
mWorkspace.mProjectFileEnties.Add(new .(workspaceFileName)); mWorkspace.mProjectFileEntries.Add(new .(workspaceFileName));
if (mVerb == .New) if (mVerb == .New)
{ {
@ -13871,7 +13877,7 @@ namespace IDE
CheckReloadSettings(); CheckReloadSettings();
bool hadChange = false; bool hadChange = false;
for (var entry in mWorkspace.mProjectFileEnties) for (var entry in mWorkspace.mProjectFileEntries)
{ {
if (entry.HasFileChanged()) if (entry.HasFileChanged())
{ {

2
IDE/src/Project.bf
View file

@ -1536,7 +1536,7 @@ namespace IDE
if (mProjectName != null) if (mProjectName != null)
{ {
gApp.mWorkspace.mProjectFileEnties.Add(new .(path, mProjectName)); gApp.mWorkspace.mProjectFileEntries.Add(new .(path, mProjectName));
} }
return true; return true;

11
IDE/src/Workspace.bf
View file

@ -60,8 +60,7 @@ namespace IDE
mPath.Set(path); mPath.Set(path);
if (projectName != default) if (projectName != default)
mProjectName = new .(projectName); mProjectName = new .(projectName);
if (File.GetLastWriteTime(mPath) case .Ok(var dt)) UpdateLastWriteTime();
mLastWriteTime = dt;
} }
public bool HasFileChanged() public bool HasFileChanged()
@ -78,6 +77,12 @@ namespace IDE
} }
return false; return false;
} }
public void UpdateLastWriteTime()
{
if (File.GetLastWriteTime(mPath) case .Ok(var dt))
mLastWriteTime = dt;
}
} }
public enum IntermediateType public enum IntermediateType
@ -490,7 +495,7 @@ namespace IDE
public List<WorkspaceFolder> mWorkspaceFolders = new List<WorkspaceFolder>() ~ DeleteContainerAndItems!(_); public List<WorkspaceFolder> mWorkspaceFolders = new List<WorkspaceFolder>() ~ DeleteContainerAndItems!(_);
public List<Project> mProjects = new List<Project>() ~ DeleteContainerAndItems!(_); public List<Project> mProjects = new List<Project>() ~ DeleteContainerAndItems!(_);
public List<ProjectSpec> mProjectSpecs = new .() ~ DeleteContainerAndItems!(_); public List<ProjectSpec> mProjectSpecs = new .() ~ DeleteContainerAndItems!(_);
public List<ProjectFileEntry> mProjectFileEnties = new .() ~ DeleteContainerAndItems!(_); public List<ProjectFileEntry> mProjectFileEntries = new .() ~ DeleteContainerAndItems!(_);
public Dictionary<String, Project> mProjectNameMap = new .() ~ DeleteDictionaryAndKeys!(_); public Dictionary<String, Project> mProjectNameMap = new .() ~ DeleteDictionaryAndKeys!(_);
public Dictionary<String, Lock> mProjectLockMap = new .() ~ DeleteDictionaryAndKeysAndValues!(_); public Dictionary<String, Lock> mProjectLockMap = new .() ~ DeleteDictionaryAndKeysAndValues!(_);
public Project mStartupProject; public Project mStartupProject;