Note: If amongst the selection, there are elements that don't have a mirror specified in the database, it would be nice to still perform the flip, using the same element in the right position (without changing its orientation), but changing its color to red. Then the user may choose what to do next.
Note: If amongst the selection, there are elements that don't have a mirror specified in the database, it would be nice to still perform the flip, using the same element in the right position (without changing its orientation), but changing its color to red. Then the user may choose what to do next.