From b8b7442eb826f74d30383c3c8d81d50f097a48f3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Bart=C5=82omiej=20Dach?= <dach.bartlomiej@gmail.com>
Date: Wed, 18 Jan 2023 23:35:02 +0100
Subject: [PATCH] Make `SongProgressInfo.ShowProgress` init-only (and remove
 duplicate init)

---
 osu.Game/Screens/Play/HUD/ArgonSongProgress.cs | 1 -
 osu.Game/Screens/Play/HUD/SongProgressInfo.cs  | 2 +-
 2 files changed, 1 insertion(+), 2 deletions(-)

diff --git a/osu.Game/Screens/Play/HUD/ArgonSongProgress.cs b/osu.Game/Screens/Play/HUD/ArgonSongProgress.cs
index 3a2cd6fe2a..bfee6d295e 100644
--- a/osu.Game/Screens/Play/HUD/ArgonSongProgress.cs
+++ b/osu.Game/Screens/Play/HUD/ArgonSongProgress.cs
@@ -71,7 +71,6 @@ namespace osu.Game.Screens.Play.HUD
         [BackgroundDependencyLoader]
         private void load()
         {
-            info.ShowProgress = false;
             info.TextColour = Colour4.White;
             info.Font = OsuFont.Torus.With(size: 18, weight: FontWeight.Bold);
         }
diff --git a/osu.Game/Screens/Play/HUD/SongProgressInfo.cs b/osu.Game/Screens/Play/HUD/SongProgressInfo.cs
index 8a5c24a1f1..7f9f353ded 100644
--- a/osu.Game/Screens/Play/HUD/SongProgressInfo.cs
+++ b/osu.Game/Screens/Play/HUD/SongProgressInfo.cs
@@ -53,7 +53,7 @@ namespace osu.Game.Screens.Play.HUD
             set => startTime = value;
         }
 
-        public bool ShowProgress = true;
+        public bool ShowProgress { get; init; } = true;
 
         public double EndTime
         {