handlePSE method Null safety

  1. @override
void handlePSE()
override

Handle the pause operation. Note that this enables stack lift -- see p. 100

Implementation

@override
void handlePSE() {
  super.handlePSE();
  pause = () {
    model.display.displayX(flash: false);
    return null;
  };
}