Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add option scrollOnUserInput #4289

Merged
merged 2 commits into from Dec 11, 2022
Merged

Add option scrollOnUserInput #4289

merged 2 commits into from Dec 11, 2022
+12 −4

Commits on Dec 6, 2022

  1. Add option scrollOnKeypress 

    Note that we also change the existing behavior a bit:
CoreService.triggerDataEvent() will not scroll to the bottom unless
`wasUserInput` is also true. This actually seems to be the intended
behavior according to the doc just above
ICoreService.triggerDataEvent().
    Jason Lin committed Dec 6, 2022
    Copy the full SHA
    73d20c1 View commit details
    Browse the repository at this point in the history

  2. polish

    Jason Lin committed Dec 6, 2022
    Copy the full SHA
    9e84895 View commit details
    Browse the repository at this point in the history