Add tooltip for LeaderboardSubmissionButton

2026-01-31 11:54:30 +01:00 · 2023-09-26 16:34:15 -07:00
parent efe1b3e0eb
commit 1b9ec31d84
1 changed files with 9 additions and 1 deletions
--- a/frontend/lib/views/task_queue/leaderboard_submission_button.dart
+++ b/frontend/lib/views/task_queue/leaderboard_submission_button.dart
@@ -10,7 +10,7 @@ class LeaderboardSubmissionButton extends StatelessWidget {

  @override
  Widget build(BuildContext context) {
-    return SizedBox(
+    final button = SizedBox(
      height: 50,
      child: ElevatedButton(
        style: ElevatedButton.styleFrom(
@@ -44,5 +44,13 @@ class LeaderboardSubmissionButton extends StatelessWidget {
        ),
      ),
    );
+
+    return isDisabled
+        ? Tooltip(
+            message:
+                "You must complete a test suite before submitting to the leaderboard.",
+            child: button,
+          )
+        : button;
  }
 }