fix duplicate name error warning logic#821

IsaacJrTypes wants to merge 2 commits intonumbas:masternumbas/editor:masterfrom

IsaacJrTypes:variable-error-warning-813IsaacJrTypes/numbas-editor:variable-error-warning-813Copy head branch name to clipboard