If I understand you correctly:
If you have a RAW file named IMG_1234 and edit it in edit mode, I assume you then save it as a jpeg such as IMG_1234...