gabehf/Fladder
1
0
Fork 0
mirror of https://github.com/gabehf/Fladder.git synced 2026-03-07 13:38:13 -08:00
Code Issues Projects Releases Packages Wiki Activity Actions

chore: Small usability changes and removed "adaptive refresh"

Browse source
This commit is contained in:
PartyDonut 2025-11-11 19:05:31 +01:00
parent ed3d51bfed
commit e9f32f522b
2 changed files with 16 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

10
lib/main.dart
View file

@ -231,17 +231,19 @@ class _MainState extends ConsumerState<Main> with WindowListener, WidgetsBinding
if (_isDesktop) {
WindowOptions windowOptions = WindowOptions(
size: Size(clientSettings.size.x, clientSettings.size.y),
center: true,
backgroundColor: Colors.transparent,
skipTaskbar: false,
titleBarStyle: TitleBarStyle.hidden,
title: packageInfo.appName.capitalize());
title: packageInfo.appName.capitalize(),
);
windowManager.waitUntilReadyToShow(windowOptions, () async {
if (!kDebugMode) {
await windowManager.show();
await windowManager.focus();
await windowManager.setSize(Size(clientSettings.size.x, clientSettings.size.y));
await windowManager.center();
}
final startupArguments = ref.read(argumentsStateProvider);
if (startupArguments.htpcMode && !(await windowManager.isFullScreen())) {
await windowManager.setFullScreen(true);

8
lib/widgets/shared/pull_to_refresh.dart
View file

@ -1,10 +1,12 @@
import 'package:fladder/util/adaptive_layout/adaptive_layout.dart';
import 'package:fladder/util/refresh_state.dart';
import 'package:flutter/foundation.dart';
import 'package:flutter/material.dart';
import 'package:flutter/services.dart';
import 'package:flutter_riverpod/flutter_riverpod.dart';
import 'package:fladder/util/adaptive_layout/adaptive_layout.dart';
import 'package:fladder/util/refresh_state.dart';
class PullToRefresh extends ConsumerStatefulWidget {
final GlobalKey<RefreshIndicatorState>? refreshKey;
final double? displacement;
@ -68,7 +70,7 @@ class _PullToRefreshState extends ConsumerState<PullToRefresh> {
return KeyEventResult.ignored;
},
child: widget.onRefresh != null
? RefreshIndicator.adaptive(
? RefreshIndicator(
displacement: widget.displacement ?? 80 + MediaQuery.of(context).viewPadding.top,
key: refreshKey,
onRefresh: widget.onRefresh!,