maobo/cup_edit
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

re-add resize timer to FilamentWidget return initial widget when resizing

Browse Source
This commit is contained in:
Nick Fisher
2024-06-01 12:50:27 +08:00
parent 382d68ee77
commit df777585e2
1 changed files with 19 additions and 19 deletions
Download Patch File Download Diff File Expand all files Collapse all files

36
flutter_filament_federated/flutter_filament/lib/filament/widgets/filament_widget.dart
View File

@@ -28,7 +28,6 @@ class FilamentWidget extends StatefulWidget {
class _FilamentWidgetState extends State<FilamentWidget> { class _FilamentWidgetState extends State<FilamentWidget> {
FlutterFilamentTexture? _texture; FlutterFilamentTexture? _texture;
Rect get _rect { Rect get _rect {
final renderBox = (context.findRenderObject()) as RenderBox; final renderBox = (context.findRenderObject()) as RenderBox;
final size = renderBox.size; final size = renderBox.size;
@@ -61,32 +60,33 @@ class _FilamentWidgetState extends State<FilamentWidget> {
super.dispose(); super.dispose();
} }
bool _resizing = false; bool _resizing = false;
Timer? _resizeTimer;
Future _resizeTexture(Size newSize) async { Future _resizeTexture(Size newSize) async {
if (_resizing) { _resizeTimer?.cancel();
return; _resizeTimer = Timer(Duration(milliseconds: 100), () async {
} if (_resizing) {
await Future.delayed(Duration.zero); return;
if (_resizing) { }
return; _resizeTimer!.cancel();
} _resizing = true;
_resizing = true; setState(() {});
var dpr = MediaQuery.of(context).devicePixelRatio; var dpr = MediaQuery.of(context).devicePixelRatio;
_texture = await widget.plugin.resizeTexture(_texture!, _texture = await widget.plugin.resizeTexture(_texture!,
(dpr * newSize.width).ceil(), (dpr * newSize.height).ceil(), 0, 0); (dpr * newSize.width).ceil(), (dpr * newSize.height).ceil(), 0, 0);
print( print(
"Resized texture, new flutter ID is ${_texture!.flutterTextureId} (hardware ID ${_texture!.hardwareTextureId})"); "Resized texture, new flutter ID is ${_texture!.flutterTextureId} (hardware ID ${_texture!.hardwareTextureId})");
setState(() {}); setState(() {});
_resizing = false; _resizing = false;
});
} }
@override @override
Widget build(BuildContext context) { Widget build(BuildContext context) {
if (_texture == null) { if (_texture == null || _resizing) {
return widget.initial ?? return widget.initial ??
Container(color: kIsWeb ? Colors.transparent : Colors.red); Container(color: kIsWeb ? Colors.transparent : Colors.red);
} }