A scratch or on the cornea
is quite painful even it relatively tiny in size. Treatment for the same involves what she has been prescribed already in the form of ointment and lubricating drops. It does take some time to heal and what generally helps it along is to keep the eye closed so that the healing is not interrupted by the action of blinking. Sometimes, the ophthalmologist patches the eye shut and it is only opened for medication. It will heal in a few days with the existing medication so all you have to do is be patient and the symptoms will subside.