public void PublishSearchResult(PluginLib.SearchResult result)
{
Dispatcher.Invoke(delegate()
{
searchResults_.Add(result);
});
}
void searchDoubleClick(object sender, MouseEventArgs args)
{
DataGridRow row = sender as DataGridRow;
PluginLib.SearchResult result = row.DataContext as PluginLib.SearchResult;
ideTabs.OpenFile(new FileLeafItem {
Path = result.File,
Name = System.IO.Path.GetFileName(result.File)
}, result.Line);
}
