From acc231f11f3731e73a4eb5bbbe4b6520ef76d07b Mon Sep 17 00:00:00 2001
From: Vishesh Handa <me@vhanda.in>
Date: Mon, 27 May 2019 11:10:15 +0200
Subject: [PATCH] PageController currentIndex: Convert to int properly

It seems using toInt() truncates the number, and sometimes its value is
2.99999 instead of 3.
---
 lib/screens/note_viewer.dart | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/lib/screens/note_viewer.dart b/lib/screens/note_viewer.dart
index d9c4e950..ed3600f1 100644
--- a/lib/screens/note_viewer.dart
+++ b/lib/screens/note_viewer.dart
@@ -81,7 +81,7 @@ class NoteBrowsingScreenState extends State<NoteBrowsingScreen> {
   }
 
   int _currentIndex() {
-    int currentIndex = pageController.page.toInt();
+    int currentIndex = pageController.page.round();
     assert(currentIndex >= 0);
     assert(currentIndex < widget.notes.length);
     return currentIndex;