void OpenFile(string file)
{
mapReader = new ObjectMapReader (file);
mapReader.HeapSnapshotAdded += delegate (object o, HeapShotEventArgs args) {
Application.Invoke (delegate {
viewer.AddSnapshot (args.HeapSnapshot);
});
};
viewer.Sensitive = true;
mapReader.Read ();
}