'Are you sure' functionality implemented when leaving a robot code page without saving.
Mining results overview improvements.