From 93818cfbad542ab0b8e9ffefa23c2d799d440c9a Mon Sep 17 00:00:00 2001
From: JHubi1 <me@jhubi1.com>
Date: Sun, 9 Jun 2024 12:57:55 +0200
Subject: [PATCH] Made tips more random

---
 lib/main.dart | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/lib/main.dart b/lib/main.dart
index 5f2191b..7905c8c 100644
--- a/lib/main.dart
+++ b/lib/main.dart
@@ -349,9 +349,11 @@ class _MainAppState extends State<MainApp> {
                   hoverColor: Colors.transparent,
                   onTap: () {
                     selectionHaptic();
-                    setState(() {
+                    var tmpTip = tipId;
+                    while (tmpTip == tipId) {
                       tipId = Random().nextInt(5);
-                    });
+                    }
+                    setState(() {});
                   },
                   child: Padding(
                       padding: const EdgeInsets.only(top: 16, bottom: 16),