private void TreeRefreshNode(object sender, EventArgs e)
{
GenericNode node = pluginUI.Tree.SelectedNode;
// refresh the first parent that *can* be refreshed
while (!node.IsRefreshable)
{
node = node.Parent as GenericNode;
}
// if you refresh a SwfFileNode this way (by asking for it), you get
// special feedback
SwfFileNode swfNode = node as SwfFileNode;
if (swfNode != null)
{
swfNode.RefreshWithFeedback(true);
}
else
{
node.Refresh(true);
}
}
public void RefreshNode(GenericNode node)
{
// refresh the first parent that *can* be refreshed
while (node != null && !node.IsRefreshable)
{
node = node.Parent as GenericNode;
}
if (node == null) return;
// if you refresh a SwfFileNode this way (by asking for it), you get
// special feedback
SwfFileNode swfNode = node as SwfFileNode;
if (swfNode != null) swfNode.RefreshWithFeedback(true);
else node.Refresh(true);
}
