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