private void OnFinishedBuildingTree(ClassPadEventArgs e)
{
ITreeBuilder builder = Context.GetTreeBuilder(e.Project);
if (null != builder)
{
builder.UpdateChildren();
}
}
private void OnFinishedBuildingTree (ClassPadEventArgs e)
{
ITreeBuilder builder = Context.GetTreeBuilder (e.Project);
if (null != builder)
builder.UpdateChildren ();
}
/// <summary>
/// Wrapper method for the FileUpdated event.
/// </summary>
void OnFileUpdated (ClassPadEventArgs args)
{
if (null != FileUpdated){ FileUpdated(args); }
}
/// <summary>
/// Wrapper method for the FileUpdated event.
/// </summary>
void OnFileUpdated (ClassPadEventArgs args)
{
Runtime.RunInMainThread (() => {
if (null != FileUpdated)
FileUpdated(args);
});
}
