flutter/GitJournal
1
0
Fork 0
mirror of https://github.com/GitJournal/GitJournal.git synced 2025-06-24 15:53:45 +08:00
Code Issues Packages Projects Releases Wiki Activity

FolderView: Add ScrollBar and RefreshIndicator

Browse Source 
The scrollbar isn't perfectly placed, but it will have to do for now.
This commit is contained in:
Vishesh Handa
2021-07-14 10:55:27 +02:00
parent 7877088b4e
commit 8871d37f85
1 changed files with 12 additions and 22 deletions
Download Patch File Download Diff File Expand all files Collapse all files

34
lib/folder_views/folder_view.dart
View File

@ -1,6 +1,7 @@
import 'package:flutter/material.dart';
import 'package:easy_localization/easy_localization.dart';
import 'package:git_bindings/git_bindings.dart';
import 'package:provider/provider.dart';
import 'package:gitjournal/app.dart';
@ -140,8 +141,17 @@ class _FolderViewState extends State<FolderView> {
];
},
floatHeaderSlivers: true,
body: CustomScrollView(
slivers: [folderView],
body: Scrollbar(
child: Builder(builder: (context) {
var view = CustomScrollView(slivers: [folderView]);
if (settings.remoteSyncFrequency == RemoteSyncFrequency.Manual) {
return view;
}
return RefreshIndicator(
onRefresh: () => _syncRepo(context),
child: view,
);
}),
),
);
}
@ -159,22 +169,6 @@ class _FolderViewState extends State<FolderView> {
return Scaffold(
body: Builder(builder: _buildBody),
/*
Center(
child: Builder(
builder: (context) {
var child = Scrollbar(child: folderView);
if (settings.remoteSyncFrequency == RemoteSyncFrequency.Manual) {
return child;
}
return RefreshIndicator(
child: child,
onRefresh: () async => _syncRepo(context),
);
},
),
),
*/
extendBody: true,
drawer: AppDrawer(),
floatingActionButton: createButton,
@ -185,9 +179,6 @@ class _FolderViewState extends State<FolderView> {
);
}
/*
BUG: https://github.com/flutter/flutter/issues/54272
Future<void> _syncRepo(BuildContext context) async {
try {
var container = context.read<GitJournalRepo>();
@ -201,7 +192,6 @@ class _FolderViewState extends State<FolderView> {
showSnackbar(context, e.toString());
}
}
*/
void _newPost(EditorType editorType) async {
var folder = widget.notesFolder;