| 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);
}
}
