It sounds like you handled as well as possible. I've since learned to split up my wallet when I go into locales with pickpocket problems. A money clip with cash and a single credit card, and a card holder with my driver's license, insurance cards, ATM card, and ICE information. The card holder gets put in a hidden pocket or inside my jacket. The money clip shares my front pocket with my keys.
_________________________
Hope for the best and prepare for the worst.

The object in life is not to be on the side of the majority, but to escape finding oneself in the ranks of the insane