I realized the manual doesn't cover this. There's an extra optional numeric parameter in the CustomizedName instruction, which can be used to alter the ordering of terminals so, following one of the examples in the manual, by doing this:
parkings = {
GATE_A : {
None : ( CustomizedName(“Terminal 1|Gate #”), 2),
},
GATE_B : {
None : ( CustomizedName(“Terminal 2|Gate #”), 1),
}
}
You are forcing Terminal 2 to show before Terminal 1 in the list.