From 536077d23b6d275dfd5ca475e6d69b952d28e5f6 Mon Sep 17 00:00:00 2001 From: Gold872 Date: Tue, 5 Dec 2023 17:02:35 -0500 Subject: [PATCH] Make window frameless when docked above Driver Station --- lib/pages/dashboard_page.dart | 12 +++++++++--- 1 file changed, 9 insertions(+), 3 deletions(-) diff --git a/lib/pages/dashboard_page.dart b/lib/pages/dashboard_page.dart index 96502fce..09c59f14 100644 --- a/lib/pages/dashboard_page.dart +++ b/lib/pages/dashboard_page.dart @@ -895,9 +895,9 @@ class _DashboardPageState extends State with WindowListener { await windowManager.unmaximize(); - Size newScreenSize = Size(screenSize.width + 16, - (screenSize.height + 8) - (200 * pixelRatio)) / - pixelRatio; + Size newScreenSize = + Size(screenSize.width, (screenSize.height) - (200 * pixelRatio)) / + pixelRatio; await windowManager.setSize(newScreenSize); @@ -906,12 +906,18 @@ class _DashboardPageState extends State with WindowListener { Globals.isWindowMaximizable = false; Globals.isWindowDraggable = false; await windowManager.setResizable(false); + + await windowManager.setAsFrameless(); } void _onDriverStationUndocked() async { Globals.isWindowMaximizable = true; Globals.isWindowDraggable = true; await windowManager.setResizable(true); + + // Re-adds the window frame, window manager's API for this is weird + await windowManager.setTitleBarStyle(TitleBarStyle.hidden, + windowButtonVisibility: false); } void showWindowCloseConfirmation(BuildContext context) {