private void btnDialogOk_Click(object sender, RoutedEventArgs e)
{
OptionsBox inputDialog = this;
Option.SetBoolean("VisibleServerWindow", inputDialog.visible_server_window.IsChecked ?? false);
Option.SetBoolean("RestrictedDirectory", inputDialog.restricted_directory.IsChecked ?? false);
Option.SetBoolean("GenerateVisitorListener", inputDialog.generate_visitor_listener.IsChecked ?? false);
Option.SetString("CorpusLocation", inputDialog.corpus_location.Text);
Option.SetBoolean("IncrementalReformat", inputDialog.incremental_reformat.IsChecked ?? false);
Option.SetBoolean("OverrideAntlrPluggins", inputDialog.override_antlr.IsChecked ?? false);
Option.SetBoolean("OptInLogging", inputDialog.opt_in_reporting.IsChecked ?? false);
Option.SetBoolean("EnableCompletion", inputDialog.enable_completion.IsChecked ?? false);
Option.SetBoolean("SemanticHighlighting", inputDialog.semantic_highlighting.IsChecked ?? false);
Option.SetString("AntlrNonterminalDef", inputDialog.nonterminal_def_color.Text);
Option.SetString("AntlrNonterminalRef", inputDialog.nonterminal_ref_color.Text);
Option.SetString("AntlrTerminalDef", inputDialog.terminal_def_color.Text);
Option.SetString("AntlrTerminalRef", inputDialog.terminal_ref_color.Text);
Option.SetString("AntlrComment", inputDialog.comment_color.Text);
Option.SetString("AntlrKeyword", inputDialog.keyword_color.Text);
Option.SetString("AntlrLiteral", inputDialog.literal_color.Text);
Option.SetString("AntlrTerminalRef", inputDialog.terminal_ref_color.Text);
Option.SetString("AntlrModeDef", inputDialog.mode_def_color.Text);
Option.SetString("AntlrModeRef", inputDialog.mode_ref_color.Text);
Option.SetString("AntlrChannelDef", inputDialog.channel_def_color.Text);
Option.SetString("AntlrChannelRef", inputDialog.channel_ref_color.Text);
Option.SetString("AntlrPunctuation", inputDialog.punctuation_color.Text);
Option.SetString("AntlrOperator", inputDialog.operator_color.Text);
Close();
}
private void MenuItemCallback(object sender, EventArgs e)
{
System.Windows.Application.Current.Dispatcher.Invoke(delegate
{
OptionsBox inputDialog = new OptionsBox();
inputDialog.Show();
});
}
private void btnDialogOk_Click(object sender, RoutedEventArgs e)
{
OptionsBox inputDialog = this;
Option.SetBoolean("VisibleServerWindow", inputDialog.visible_server_window.IsChecked ?? false);
Option.SetBoolean("RestrictedDirectory", inputDialog.restricted_directory.IsChecked ?? false);
Option.SetBoolean("GenerateVisitorListener", inputDialog.generate_visitor_listener.IsChecked ?? false);
Option.SetString("CorpusLocation", inputDialog.corpus_location.Text);
Option.SetBoolean("IncrementalReformat", inputDialog.incremental_reformat.IsChecked ?? false);
Option.SetBoolean("OverrideAntlrPluggins", inputDialog.override_antlr.IsChecked ?? false);
Option.SetBoolean("OptInLogging", inputDialog.opt_in_reporting.IsChecked ?? false);
Close();
}
private void MenuItemCallback(object sender, EventArgs e)
{
OptionsBox inputDialog = new OptionsBox();
inputDialog.Show();
}
