public void JumpButtonPushed(int moveIndex, string moveText)
{
if (_view.tabControl1.SelectedItem == _view.replaceTabItem)
{
EventAggregator.OnReplaceWordEvent(this, new ReplaceWordEventArgs()
{
headIndex = moveIndex,
tailIndex = moveIndex + moveText.Length - 1,
replaceAll = false,
fromStr = moveText,
toStr = _view.ReplaceToTextBox.Text
});
_view.KeyExtract(moveText);
}
else
{
EventAggregator.OnMoveDocumentIndex(this, new MoveDocumentIndexEventArgs() { headIndex = moveIndex, targetText = moveText });
}
}