private CommandRefresh ( object sender, System.Windows.Input.ExecutedRoutedEventArgs e ) : void | ||
sender | object | |
e | System.Windows.Input.ExecutedRoutedEventArgs | |
return | void |
private void CommandRefresh(object sender, ExecutedRoutedEventArgs e)
{
if (this.currentTabIndex >= 0 && tab[this.currentTabIndex].FullFileName != null && System.IO.File.Exists(tab[this.currentTabIndex].FullFileName))
{
tab[this.currentTabIndex].OpenFile(tab[this.currentTabIndex].FullFileName);
}
}