7.1. SharpDevelop Options