make ui at least usable throughout
	
		
			
	
		
	
	
		
	
		
			Some checks failed
		
		
	
	
		
			
				
	
				Build and release APK / Build APK (pull_request) Has been cancelled
				
			
		
		
	
	
				
					
				
			
		
			Some checks failed
		
		
	
	Build and release APK / Build APK (pull_request) Has been cancelled
				
			This commit is contained in:
		| @@ -6,6 +6,12 @@ import 'package:anyway/structs/trip.dart'; | ||||
| import 'package:anyway/modules/current_trip_map.dart'; | ||||
| import 'package:anyway/modules/current_trip_panel.dart'; | ||||
|  | ||||
| final Shader textGradient = APP_GRADIENT.createShader(Rect.fromLTWH(0.0, 0.0, 200.0, 70.0)); | ||||
| TextStyle greeterStyle = TextStyle( | ||||
|   foreground: Paint()..shader = textGradient, | ||||
|   fontWeight: FontWeight.bold, | ||||
|   fontSize: 26 | ||||
| ); | ||||
|  | ||||
|  | ||||
| class TripPage extends StatefulWidget { | ||||
| @@ -35,7 +41,7 @@ class _TripPageState extends State<TripPage> { | ||||
|         maxHeight: MediaQuery.of(context).size.height * TRIP_PANEL_MAX_HEIGHT, | ||||
|         // padding in this context is annoying: it offsets the notion of vertical alignment. | ||||
|         // children that want to be centered vertically need to have their size adjusted by 2x the padding | ||||
|         padding: const EdgeInsets.only(top: 10), | ||||
|         padding: const EdgeInsets.all(10.0), | ||||
|         // Panel snapping should not be disabled because it significantly improves the user experience | ||||
|         // panelSnapping: false | ||||
|         borderRadius: const BorderRadius.only(topLeft: Radius.circular(25), topRight: Radius.circular(25)), | ||||
|   | ||||
		Reference in New Issue
	
	Block a user