public void Rebuild()
{
//string docName = "UNKNOWN";
//if (_textView.TextBuffer.Properties.TryGetProperty<ITextDocument>(typeof(ITextDocument), out var textDoc))
//{
// docName = System.IO.Path.GetFileName(textDoc.FilePath);
//}
//Logger.Log($"Rebuilding keyboard handler for {docName}");
var moveCaret = new KeyboardSequenceDetector(
new DateTimeClock(),
() => MoveCaret?.Invoke(),
new[]
{
new KeyFrame(_settings.MoveCaretKey, true, 0),
new KeyFrame(_settings.MoveCaretKey, false, _settings.DoubleTapReleaseTimeMs),
new KeyFrame(_settings.MoveCaretKey, true, _settings.DoubleTapIntervalTimeMs),
new KeyFrame(_settings.MoveCaretKey, false, _settings.DoubleTapReleaseTimeMs),
});
var startScroll = new KeyboardSequenceDetector(
new DateTimeClock(),
() =>
{
if (_scrollState != ScrollRequest.Start)
{
_scrollState = ScrollRequest.Start;
UpdateScroll?.Invoke(ScrollRequest.Start);
}
},
new[]
{
new KeyFrame(_settings.ScrollKey, true, 0),
new KeyFrame(_settings.ScrollKey, false, _settings.DoubleTapReleaseTimeMs),
new KeyFrame(_settings.ScrollKey, true, _settings.DoubleTapIntervalTimeMs),
new KeyFrame(_settings.ScrollKey, true, _settings.DoubleTapHoldTimeMs),
});
var stopScroll = new KeyboardSequenceDetector(
new DateTimeClock(),
() =>
{
if (_scrollState != ScrollRequest.Stop)
{
_scrollState = ScrollRequest.Stop;
UpdateScroll?.Invoke(ScrollRequest.Stop);
}
},
new[]
{
new KeyFrame(_settings.ScrollKey, false, 0),
});
_detectors = new[]
{
moveCaret,
startScroll,
stopScroll
};
}
private void OnUpdateScroll(ScrollRequest request)
{
if (GeneralOptions.Instance.ScrollEnabled)
{
UpdateScroll?.Invoke(request);
}
}
private void VisualElementOnPreviewKeyDown(object sender, KeyEventArgs e)
{
if (e.Key == Key.RightCtrl && e.IsDown)
{
if (_scrollState != ScrollRequest.Start)
{
_scrollState = ScrollRequest.Start;
UpdateScroll?.Invoke(ScrollRequest.Start);
}
}
}
private void VisualElementOnPreviewKeyUp(object sender, KeyEventArgs e)
{
if (e.Key == Key.RightShift && e.IsUp)
{
CarretAction?.Invoke();
}
if (e.Key == Key.RightCtrl && e.IsUp)
{
if (_scrollState != ScrollRequest.Stop)
{
_scrollState = ScrollRequest.Stop;
UpdateScroll?.Invoke(ScrollRequest.Stop);
}
}
}
