private void BoldExecuted(object sender, ExecutedRoutedEventArgs e) { if (htmldoc != null) { htmldoc.Bold(); } }