V Tools je položka Options, ale je vimplementována čistě formálně. Vidím jako nutnost ji časem udělat funkční, abychom mohli nastavovat různé možnosti prostředí, např. zobrazování bloků, formátů písma, barev, klávesových zkratek, tisků, adresy direktorářů apod.
