import 'dart:typed_data'; import 'package:app/data_classes.dart'; import 'package:latlong2/latlong.dart'; import 'package:flutter/material.dart'; import 'package:google_fonts/google_fonts.dart'; // API variables const String port = "8443"; const String serverURI = "https://127.0.0.1:$port/"; const String mapEndpoint = "update_map"; // Map variables String selectedLake = 'Mjøsa'; // NB should be initialised to last selected lake Uint8List selectedRelation = Uint8List(0); List<Measurement> selectedMeasurements = []; List<SubDiv> selectedSubdivisions = []; SubDiv? selectedSubDiv; LatLng mapCenter = LatLng(60.8000, 10.8471); // NB may not be necessary DateTime ?lastUpdate; // Last time data was fetched from server List<String> lakeSearchOptions = []; bool internetConnection = true; // Font settings const textColor = Colors.white; final appTitleStyle = GoogleFonts.chakraPetch( fontSize: 35, color: Colors.black, fontWeight: FontWeight.bold, ); final titleStyle = GoogleFonts.chakraPetch( fontSize: 30, color: Colors.white70, fontWeight: FontWeight.bold, ); final regTextStyle = GoogleFonts.chakraPetch(fontSize: 16, color: textColor); final regTextStyleBig = GoogleFonts.chakraPetch(fontSize: 20, color: textColor); final chartTextStyle = GoogleFonts.chakraPetch(fontSize: 12, color: textColor); final subHeadingStyle = GoogleFonts.chakraPetch(fontSize: 18, color: textColor, fontWeight: FontWeight.bold);