From 9d41d494a09694f2f41891a6c3d57a34a1c1d74a Mon Sep 17 00:00:00 2001
From: Martin Chaine <martin@casimir.me>
Date: Fri, 4 Aug 2023 11:32:31 +0200
Subject: [PATCH] fix a few non-important warnings

---
 lib/pages/article.dart       | 4 ++--
 tools/init_test_account.dart | 1 +
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/lib/pages/article.dart b/lib/pages/article.dart
index 4937e05d..d4bf4e8c 100644
--- a/lib/pages/article.dart
+++ b/lib/pages/article.dart
@@ -19,7 +19,7 @@ class ArticlePage extends StatefulWidget {
       {super.key, required this.articleId, required this.isFullScreen});
 
   final int articleId;
-  final isFullScreen;
+  final bool isFullScreen;
 
   @override
   State<ArticlePage> createState() => _ArticlePageState();
@@ -35,7 +35,7 @@ class _ArticlePageState extends State<ArticlePage> {
     final article = provider.article;
     final scroller = ScrollController();
 
-    late final bodyBuilder;
+    late final Widget bodyBuilder;
     if (article == null) {
       bodyBuilder = _buildNoArticle();
     } else if (article.content == null) {
diff --git a/tools/init_test_account.dart b/tools/init_test_account.dart
index fe4ef551..7a0b59d4 100644
--- a/tools/init_test_account.dart
+++ b/tools/init_test_account.dart
@@ -68,6 +68,7 @@ class _HomePageState extends State<HomePage> {
           starred: starred,
         );
       } catch (e) {
+        // ignore: avoid_print
         print('Error while creating $url: $e');
       }
       setState(() {