fix a few non-important warnings

casimir · Aug 4, 2023 · 9d41d49 · 9d41d49
1 parent 751a000
commit 9d41d49
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 2 deletions.
diff --git 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
@@ -68,6 +68,7 @@ class _HomePageState extends State<HomePage> {
           starred: starred,
         );
       } catch (e) {
+        // ignore: avoid_print
         print('Error while creating $url: $e');
       }
       setState(() {