|
|
8eedef3e86
|
Move cancellation to safer place
|
2019-01-07 19:31:05 +09:00 |
|
|
|
d72412d24d
|
Fix leaderboard not correctly handling cancellation
|
2019-01-07 19:28:46 +09:00 |
|
|
|
dae710f9a6
|
Make leaderboard top not fade by default
|
2018-12-27 17:29:55 +09:00 |
|
|
|
8e031325dd
|
CI fixes
|
2018-12-27 16:28:17 +09:00 |
|
|
|
67e200e1b2
|
Leaderboard design updates
|
2018-12-27 15:52:40 +09:00 |
|
|
|
787e65c3c5
|
Reduce generic-ness
|
2018-12-22 15:20:35 +09:00 |
|
|
|
23259b295c
|
Remove unnecessary using
|
2018-12-22 14:45:35 +09:00 |
|
|
|
e657f13c15
|
Separate out Leaderboard into BeatmapLeaderboard
|
2018-12-22 14:44:36 +09:00 |
|
