I've noticed that when you allocate markers using the batch option, the allocated marker isn't automatically selected in the Allocated Marker dropdown in the Grading page. However, when you select the marker from the Grading page and save changes then the allocated marker gets automatically selected in the Grading page.
Attached are two screenshots that show the markers allocated using the batch option and the grading page for a user with the marker allocated.
This behavior seems to happen both in v2.6.3 and v2.7 that I tested with.
I can see that the marker allocation entry is saved in the database (table: assign_user_flags) but this is only automatically selected in the grading page after an entry is recorded in the assign_grades table for that user.
Has anyone else noticed this behavior? Is this normal or am I missing something?