private void VarnameSet(object sender, RoutedEventArgs e) { if (!_loaded) { return; } Minterm2x.SwapVarnames(); Minterm3x.SwapVarnames(); Minterm4x.SwapVarnames(); Minterm5x.SwapVarnames(); }