- // Special case: when starting up and the window isn't visible yet,
- // areaSize is [0, 0]. In this case we want to be called again later
- if ((areaSize.height() == 0) || (!size_finalized_)) {
- scroll_needs_defaults_ = true;
- return;
- } else {
- scroll_needs_defaults_ = false;
- }
-