void pushNamedIfNotCurrent(String routeName, {Object? arguments}) { if (!isCurrent(routeName)) { pushNamed(routeName, arguments: arguments); } }