mono tool preferences