| 
									
										
										
										
											2023-05-17 11:03:33 +08:00
										 |  |  | import 'package:hotkey_manager/hotkey_manager.dart'; | 
					
						
							| 
									
										
										
										
											2024-09-12 14:40:19 +08:00
										 |  |  | import 'package:universal_platform/universal_platform.dart'; | 
					
						
							| 
									
										
										
										
											2023-05-17 11:03:33 +08:00
										 |  |  | 
 | 
					
						
							|  |  |  | import '../startup.dart'; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | class HotKeyTask extends LaunchTask { | 
					
						
							|  |  |  |   const HotKeyTask(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   @override | 
					
						
							|  |  |  |   Future<void> initialize(LaunchContext context) async { | 
					
						
							| 
									
										
										
										
											2023-07-21 14:53:57 +07:00
										 |  |  |     // the hotkey manager is not supported on mobile
 | 
					
						
							| 
									
										
										
										
											2024-09-12 14:40:19 +08:00
										 |  |  |     if (UniversalPlatform.isMobile) { | 
					
						
							| 
									
										
										
										
											2023-07-21 14:53:57 +07:00
										 |  |  |       return; | 
					
						
							|  |  |  |     } | 
					
						
							| 
									
										
										
										
											2023-05-17 11:03:33 +08:00
										 |  |  |     await hotKeyManager.unregisterAll(); | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2023-10-24 23:13:51 +08:00
										 |  |  | 
 | 
					
						
							|  |  |  |   @override | 
					
						
							|  |  |  |   Future<void> dispose() async {} | 
					
						
							| 
									
										
										
										
											2023-05-17 11:03:33 +08:00
										 |  |  | } |