setContextControls method
Canale page — controlli contestuali (pubblicati da chi li possiede, es. la tabella). Separato da setPageActions così i due publisher non si sovrascrivono a vicenda.
Implementation
void setContextControls(List<ShellContextControl> controls, {ShellRevealControl? overflow}) {
_contextControls = controls;
_contextOverflow = overflow;
notifyListeners();
}