monodevelop settings