Message! dialogue box

Here you are asked whether the tool list should really be deleted.