| 
									
										
										
										
											2022-11-17 17:26:46 +08:00
										 |  |  | import 'dart:io'; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  | import 'package:desktop_multi_window/desktop_multi_window.dart'; | 
					
						
							| 
									
										
										
										
											2022-11-17 17:26:46 +08:00
										 |  |  | import 'package:flutter/material.dart'; | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  | import 'package:get/get.dart'; | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | import '../consts.dart'; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-06-21 16:08:45 +08:00
										 |  |  | enum SvcStatus { notReady, connecting, ready } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  | class StateGlobal { | 
					
						
							|  |  |  |   int _windowId = -1; | 
					
						
							|  |  |  |   bool _fullscreen = false; | 
					
						
							| 
									
										
										
										
											2023-02-27 12:01:22 +08:00
										 |  |  |   bool _maximize = false; | 
					
						
							| 
									
										
										
										
											2023-01-10 14:11:49 +08:00
										 |  |  |   bool grabKeyboard = false; | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  |   final RxBool _showTabBar = true.obs; | 
					
						
							| 
									
										
										
										
											2022-11-17 20:24:17 +08:00
										 |  |  |   final RxDouble _resizeEdgeSize = RxDouble(kWindowEdgeSize); | 
					
						
							| 
									
										
										
										
											2022-11-16 19:49:52 +08:00
										 |  |  |   final RxDouble _windowBorderWidth = RxDouble(kWindowBorderWidth); | 
					
						
							| 
									
										
										
										
											2023-06-11 16:32:22 +08:00
										 |  |  |   final RxBool showRemoteToolBar = false.obs; | 
					
						
							| 
									
										
										
										
											2023-02-17 13:32:17 +08:00
										 |  |  |   final RxInt displaysCount = 0.obs; | 
					
						
							| 
									
										
										
										
											2023-06-21 16:08:45 +08:00
										 |  |  |   final svcStatus = SvcStatus.notReady.obs; | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-05-19 20:48:47 +08:00
										 |  |  |   // Use for desktop -> remote toolbar -> resolution
 | 
					
						
							|  |  |  |   final Map<String, Map<int, String?>> _lastResolutionGroupValues = {}; | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  |   int get windowId => _windowId; | 
					
						
							|  |  |  |   bool get fullscreen => _fullscreen; | 
					
						
							| 
									
										
										
										
											2023-02-27 12:01:22 +08:00
										 |  |  |   bool get maximize => _maximize; | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  |   double get tabBarHeight => fullscreen ? 0 : kDesktopRemoteTabBarHeight; | 
					
						
							|  |  |  |   RxBool get showTabBar => _showTabBar; | 
					
						
							| 
									
										
										
										
											2022-11-01 18:16:52 +08:00
										 |  |  |   RxDouble get resizeEdgeSize => _resizeEdgeSize; | 
					
						
							| 
									
										
										
										
											2022-11-16 19:49:52 +08:00
										 |  |  |   RxDouble get windowBorderWidth => _windowBorderWidth; | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2023-05-19 20:48:47 +08:00
										 |  |  |   resetLastResolutionGroupValues(String peerId) { | 
					
						
							|  |  |  |     _lastResolutionGroupValues[peerId] = {}; | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   setLastResolutionGroupValue( | 
					
						
							|  |  |  |       String peerId, int currentDisplay, String? value) { | 
					
						
							|  |  |  |     if (!_lastResolutionGroupValues.containsKey(peerId)) { | 
					
						
							|  |  |  |       _lastResolutionGroupValues[peerId] = {}; | 
					
						
							|  |  |  |     } | 
					
						
							|  |  |  |     _lastResolutionGroupValues[peerId]![currentDisplay] = value; | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   String? getLastResolutionGroupValue(String peerId, int currentDisplay) { | 
					
						
							|  |  |  |     return _lastResolutionGroupValues[peerId]?[currentDisplay]; | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  |   setWindowId(int id) => _windowId = id; | 
					
						
							| 
									
										
										
										
											2023-02-27 12:01:22 +08:00
										 |  |  |   setMaximize(bool v) { | 
					
						
							| 
									
										
										
										
											2023-03-10 00:15:07 +08:00
										 |  |  |     if (_maximize != v && !_fullscreen) { | 
					
						
							| 
									
										
										
										
											2023-02-27 12:01:22 +08:00
										 |  |  |       _maximize = v; | 
					
						
							| 
									
										
										
										
											2023-03-10 00:15:07 +08:00
										 |  |  |       _resizeEdgeSize.value = _maximize ? kMaximizeEdgeSize : kWindowEdgeSize; | 
					
						
							| 
									
										
										
										
											2023-02-27 12:01:22 +08:00
										 |  |  |     } | 
					
						
							|  |  |  |   } | 
					
						
							| 
									
										
										
										
											2023-05-19 20:48:47 +08:00
										 |  |  | 
 | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  |   setFullscreen(bool v) { | 
					
						
							|  |  |  |     if (_fullscreen != v) { | 
					
						
							|  |  |  |       _fullscreen = v; | 
					
						
							|  |  |  |       _showTabBar.value = !_fullscreen; | 
					
						
							| 
									
										
										
										
											2023-05-19 20:48:47 +08:00
										 |  |  |       _resizeEdgeSize.value = fullscreen | 
					
						
							| 
									
										
										
										
											2023-03-10 00:15:07 +08:00
										 |  |  |           ? kFullScreenEdgeSize | 
					
						
							|  |  |  |           : _maximize | 
					
						
							|  |  |  |               ? kMaximizeEdgeSize | 
					
						
							|  |  |  |               : kWindowEdgeSize; | 
					
						
							|  |  |  |       print( | 
					
						
							| 
									
										
										
										
											2023-07-27 20:45:29 +08:00
										 |  |  |           "fullscreen: $fullscreen, resizeEdgeSize: ${_resizeEdgeSize.value}"); | 
					
						
							| 
									
										
										
										
											2022-11-16 19:49:52 +08:00
										 |  |  |       _windowBorderWidth.value = fullscreen ? 0 : kWindowBorderWidth; | 
					
						
							| 
									
										
										
										
											2022-11-17 17:26:46 +08:00
										 |  |  |       WindowController.fromWindowId(windowId) | 
					
						
							|  |  |  |           .setFullscreen(_fullscreen) | 
					
						
							|  |  |  |           .then((_) { | 
					
						
							|  |  |  |         // https://github.com/leanflutter/window_manager/issues/131#issuecomment-1111587982
 | 
					
						
							|  |  |  |         if (Platform.isWindows && !v) { | 
					
						
							|  |  |  |           Future.delayed(Duration.zero, () async { | 
					
						
							|  |  |  |             final frame = | 
					
						
							|  |  |  |                 await WindowController.fromWindowId(windowId).getFrame(); | 
					
						
							|  |  |  |             final newRect = Rect.fromLTWH( | 
					
						
							|  |  |  |                 frame.left, frame.top, frame.width + 1, frame.height + 1); | 
					
						
							|  |  |  |             await WindowController.fromWindowId(windowId).setFrame(newRect); | 
					
						
							|  |  |  |           }); | 
					
						
							|  |  |  |         } | 
					
						
							|  |  |  |       }); | 
					
						
							| 
									
										
										
										
											2022-11-01 17:01:43 +08:00
										 |  |  |     } | 
					
						
							|  |  |  |   } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   StateGlobal._(); | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  |   static final StateGlobal instance = StateGlobal._(); | 
					
						
							|  |  |  | } | 
					
						
							|  |  |  | 
 | 
					
						
							|  |  |  | final stateGlobal = StateGlobal.instance; |