public void OpenFile(ProjectFile file)
{
if (!_editor.TryOpenFileEditor(file))
{
var dialog = ServiceProvider.Get <IDialogManager>();
dialog.ShowMessageAsync($"Open {file.FullName}", $"Unknown file type {file.Extension}");
}
}
public void OpenInEditor(Guid instanceId)
{
var graph = GetGraphFile(instanceId);
if (graph != null)
{
_editor.TryOpenFileEditor(graph);
}
else
{
_output.Write($"Could not open graph {instanceId}. Maybe it's not compiled.", OutputType.Info);
}
}