pushed property
final
Opened with push on top of another page (the lesson's notes action):
an AppBar with a back arrow returns there — the lesson is still
underneath, on the part the learner was reading — and clearing the
topic filter keeps it underneath.
Implementation
final bool pushed;