-
Notifications
You must be signed in to change notification settings - Fork 45
Leaderboard - bold score if column is primary #1061
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
|
@ihsaan-ullah Is the primary column always at index 0? Given that you can select any column as primary using the editor:
|
Yes, primary column means index = 0
|
|
@ihsaan-ullah Maybe it is not a problem, or at least could be for a separate PR: When the other columns are hidden, it still acts as if there are multiple columns and put the scores in bold. |
Can you share a screenshot of this problem. I think this should not be happening because at some point the we have changed the server to not return hidden columns. But this can be investigated further A separate issue will be better for this |
|
Actually it seems that even when I remove the other column, the score is still in bold. I think the problem is actually that the number of scores is fetched from the submission, not from the leaderboard, so you need to upload a new submission to update this. Another problem with that is that if you edit the leaderboard to change the primary column, the previous submission will still be in bold on the previous primary column. EDIT: even if I submit AFTER having changed the primary colmumn, it is still the old primary column that is in bold. To reproduce the different problems mentionned:
|
|
With latest push, the following will happen
|
|
Thank you for your quick update. I'll test it again asap. |



@ mention of reviewers
@Didayolo
A brief description of the purpose of the changes contained in this PR.
If a task has more than one scores, show the primary score (
index==0) as bold textIssues this PR resolves
Checklist