public void OnChanged(Document document, Document.State state)
{
Logger.Info("[Workspace] Changed document: " + document.GetName() + " >> " + state);
Menu.Update();
Boot.Core.IDE.OnChanged(document, state);
}
internal void OnChanged(Document document, Document.State state)
{
Logger.Info("[IDE] Changed document: " + document.GetName() + " >> " + state);
switch (state)
{
case Document.State.CREATED:
AvalonDocument d = new AvalonDocument(document);
this.editors.Children.Add(d);
this.SetActiveDocument(document);
break;
case Document.State.CHANGED:
foreach (LayoutDocument entry in this.editors.Children)
{
if (entry.GetType() == typeof(AvalonDocument))
{
AvalonDocument doc = (AvalonDocument)entry;
if (doc.GetDocument() == document)
{
doc.Title = document.GetName() + "*";
}
}
}
break;
case Document.State.REMOVED:
foreach (LayoutDocument entry in this.editors.Children)
{
if (entry.GetType() == typeof(AvalonDocument))
{
AvalonDocument doc = (AvalonDocument)entry;
if (doc.GetDocument() == document)
{
//Boot.Core.Workspace.RemoveDocument( ? doc.GetDocument() : null);
this.editors.Children.Remove(doc);
this.GetMenu().Update();
//state = Document.State.CREATED;
break;
}
}
}
break;
}
this.GetMenu().Update();
}
