You are correct. Designer currently does not set the "priority" extension attribute to sequenceFlow elements --> https://issues.jboss.org/browse/JBPM-3324. The difference is going tobe that you would set the priority on the sequence flow itself, rather than the gateway as you do in Eclipse now.
Hope this helps.