From b9d1eb0dd15a97fe8db9ef93d0af9f2f0f82941d Mon Sep 17 00:00:00 2001 From: csf Date: Fri, 19 Aug 2022 12:44:35 +0800 Subject: [PATCH] add file manager overlay dialog --- .../lib/desktop/pages/file_manager_page.dart | 25 +++++++++++++++++++ 1 file changed, 25 insertions(+) diff --git a/flutter/lib/desktop/pages/file_manager_page.dart b/flutter/lib/desktop/pages/file_manager_page.dart index 2868d2d3b..e07fadf28 100644 --- a/flutter/lib/desktop/pages/file_manager_page.dart +++ b/flutter/lib/desktop/pages/file_manager_page.dart @@ -108,6 +108,31 @@ class _FileManagerPageState extends State ), )); })); + return Overlay(initialEntries: [ + OverlayEntry(builder: (context) { + _ffi.dialogManager.setOverlayState(Overlay.of(context)); + return ChangeNotifierProvider.value( + value: _ffi.fileModel, + child: Consumer(builder: (_context, _model, _child) { + return WillPopScope( + onWillPop: () async { + if (model.selectMode) { + model.toggleSelectMode(); + } + return false; + }, + child: Scaffold( + body: Row( + children: [ + Flexible(flex: 3, child: body(isLocal: true)), + Flexible(flex: 3, child: body(isLocal: false)), + Flexible(flex: 2, child: statusList()) + ], + ), + )); + })); + }) + ]); } Widget menu({bool isLocal = false}) {