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