gui: more robust modification monitoring.