Re: [gcmd-dev] advrename: profile manager

[Michael]

Huh !? I can't the heck not reproduce this myself right now ! But i'm sure i 
saw this yesterday because i screwed a rather sophisticated regex and couldn't 
make it 'undo' again. 

As far as it does not occur anymore -- Sorry for the noise !

ps. To clarify, i was pressing 'cancel' in the profile manger, after 'OK' in 
the 'Edit' Window. But even this seems to not-save the edits now. Hmmm... i'm 
often working very late night ..... maybe i was halluzinating !