-
-
Notifications
You must be signed in to change notification settings - Fork 118
Are there any plans for a General Project Monitoring API #1392
Answered
by
jeremypw
colinkiama
asked this question in
Q&A
Currently you can monitor changes to Git repository projects using MonitoredRespository and GitManager.
However, there doesn't seem to be an API for monitoring changes to non-git projects. This would be pretty useful for #134. It would make it easy to update search indexes when there are file changes to projects.
Are there any plans for this?
All reactions
Answered by
jeremypw
Dec 21, 2023
Each Scratch.Foldermanager.Folderitem has a GLib.FileMonitor connected to an on_changed () handler. Maybe this could be used to invalidate the search index?
Replies: 1 comment 1 reply
Each Scratch.Foldermanager.Folderitem has a GLib.FileMonitor connected to an on_changed () handler. Maybe this could be used to invalidate the search index?
All reactions
1 reply
Thanks, I have an idea of what I could do now
All reactions
Answer selected by
colinkiama
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment