private void BlockComment(object sender, RoutedEventArgs e)
{
if (!storyEditorEnabled)
{
return;
}
var endPos = FSharpEditor.SelectionStart + FSharpEditor.SelectionLength;
FSharpEditor.Document.Insert(endPos, "*)");
FSharpEditor.Document.Insert(FSharpEditor.SelectionStart, "(*");
FSharpEditor.Select(FSharpEditor.SelectionStart - 2, FSharpEditor.SelectionLength + 4);
}
private void Redo(object sender, RoutedEventArgs e) => FSharpEditor.Redo();
private void Cut(object sender, RoutedEventArgs e) => FSharpEditor.Cut();
private void Paste(object sender, RoutedEventArgs e) => FSharpEditor.Paste();
private void Del(object sender, RoutedEventArgs e) => FSharpEditor.Delete();
private void SelectAll(object sender, RoutedEventArgs e) => FSharpEditor.SelectAll();
