|
@@ -116,13 +116,12 @@ namespace Terminal.Gui {
|
|
|
|
|
|
void Watcher_Error (object sender, ErrorEventArgs e)
|
|
|
{
|
|
|
- Debug.WriteLine ($"Watcher error: {e.GetException ()}");
|
|
|
- Application.MainLoop.Invoke (() => Reload ());
|
|
|
+ Application.MainLoop?.Invoke (() => Reload ());
|
|
|
}
|
|
|
|
|
|
void Watcher_Changed (object sender, FileSystemEventArgs e)
|
|
|
{
|
|
|
- Application.MainLoop.Invoke (() => Reload ());
|
|
|
+ Application.MainLoop?.Invoke (() => Reload ());
|
|
|
}
|
|
|
|
|
|
ustring directory;
|