import 'package:flutter_riverpod/flutter_riverpod.dart'; /// Ein-/Ausgeklappt-Zustand des Mini-Hoehenprofils in der Fusszeile, /// geteilt zwischen Plan- und Fly-Modus (MissionFooterBar). Rein /// UI-lokaler Zustand fuer die aktuelle Session, Standard: eingeklappt, /// damit die Karte moeglichst viel visuellen Raum bekommt. class AltitudeProfileExpandedNotifier extends Notifier { @override bool build() => false; void toggle() => state = !state; } final altitudeProfileExpandedProvider = NotifierProvider( AltitudeProfileExpandedNotifier.new);