Hide labels while grading motivation

[jakobj]

I sometimes find it a bit annoying to see the labels (already set by someone else) in the corner of my eye directly under the motivation letter. Best case this saves me a keystroke, worst case it correlates our scores.

Could we hide this and only show it when dumping details?

[otizonaizit]

we could, but we need to additionally then make sure that if you add the same label someone else already added, it should not result in a duplicate. This happened namely recently and apparently grader can't cope with the situation. In general, labels should be first inserted by identity, and then maybe merged when given a specific command in grader.

…

On Wed 10 May, 09:31 -0700, Jakob Jordan ***@***.***> wrote: I sometimes find it a bit annoying to see the labels (already set by someone else) in the corner of my eye directly under the motivation letter. Best case this saves me a keystroke, worst case it correlates our scores. Could we hide this and only show it when dumping details? — Reply to this email directly, view it on GitHub¹, or unsubscribe². You are receiving this because you are subscribed to this thread.☘Message ID: ***@***.***> –––– ¹ #24 ² https://github.com/notifications/unsubscribe-auth/AACUYCZMWDENWPQDNXMNIBLXFO7ETANCNFSM6AAAAAAX47AZHQ