I'm about to run into this problem in the next few days, allthough admittedly, I probably would have overlooked it.
It'd be nice if mIRC would flush mirc.ini automatically.
Possibly even an event when settings are changed.
This would allow scripts to use the default mIRC settings more effeciently.
