onScroll method

void onScroll()

Disables LogsOptionsViewModel.autoscroll when the user scrolls manually.

Implementation

void onScroll() {
  final disableAutoscroll = scrollController.position.pixels > 0;
  if (disableAutoscroll != options.autoscroll && options.autoscroll) {
    options.setAutoscroll(disableAutoscroll);
  }
}