From 97614b3930596d928ceea77c2906e927c5b923a7 Mon Sep 17 00:00:00 2001 From: csf Date: Tue, 16 Aug 2022 22:15:45 +0800 Subject: [PATCH] ensure connection close --- flutter/lib/desktop/pages/connection_tab_page.dart | 1 + flutter/lib/desktop/pages/file_manager_tab_page.dart | 1 + 2 files changed, 2 insertions(+) diff --git a/flutter/lib/desktop/pages/connection_tab_page.dart b/flutter/lib/desktop/pages/connection_tab_page.dart index 2a831785e..eb8614dd4 100644 --- a/flutter/lib/desktop/pages/connection_tab_page.dart +++ b/flutter/lib/desktop/pages/connection_tab_page.dart @@ -104,6 +104,7 @@ class _ConnectionTabPageState extends State void onRemoveId(String id) { DesktopTabBar.onClose(this, tabController, tabs, id); + ffi(id).close(); if (tabs.length == 0) { WindowController.fromWindowId(windowId()).close(); } diff --git a/flutter/lib/desktop/pages/file_manager_tab_page.dart b/flutter/lib/desktop/pages/file_manager_tab_page.dart index 4c2dc3c5e..aa8c60afc 100644 --- a/flutter/lib/desktop/pages/file_manager_tab_page.dart +++ b/flutter/lib/desktop/pages/file_manager_tab_page.dart @@ -93,6 +93,7 @@ class _FileManagerTabPageState extends State void onRemoveId(String id) { DesktopTabBar.onClose(this, tabController, tabs, id); + ffi(id).close(); if (tabs.length == 0) { WindowController.fromWindowId(windowId()).close(); }