public OptionsBox() { InitializeComponent(); this.restricted_directory.IsChecked = POptions.GetBoolean("RestrictedDirectory"); this.noninteractive.IsChecked = POptions.GetBoolean("NonInteractiveParse"); this.generate_visitor_listener.IsChecked = POptions.GetBoolean("GenerateVisitorListener"); this.corpus_location.Text = POptions.GetString("CorpusLocation"); this.incremental_reformat.IsChecked = POptions.GetBoolean("IncrementalReformat"); this.override_antlr.IsChecked = POptions.GetBoolean("OverrideAntlrPluggins"); this.override_java.IsChecked = POptions.GetBoolean("OverrideJavaPluggins"); this.override_python.IsChecked = POptions.GetBoolean("OverridePythonPluggins"); this.override_rust.IsChecked = POptions.GetBoolean("OverrideRustPluggins"); if (POptions.GetInt32("OptInLogging") == 1) { this.opt_in_reporting.IsChecked = true; } else if (POptions.GetInt32("OptInLogging") == 2) { this.opt_in_reporting.IsChecked = false; } else { this.opt_in_reporting.IsChecked = null; } }