stretchExpandedHeight method

void stretchExpandedHeight(
  1. int offset
)

Implementation

void stretchExpandedHeight(int offset) {
  int newMaxExpandedHeight = Device().screenHeight - offset;
  if (_maxExpandedHeight == null ||
      _maxExpandedHeight != newMaxExpandedHeight) {
    // scroll to the top
    if (scrollController != null) {
      scrollController?.jumpTo(0);
    }

    // set expanded height
    _maxExpandedHeight = newMaxExpandedHeight;
    //log("stretch expanded height to $_maxExpandedHeight");
    notifyListeners();
  }
}