3 ms·

In Linux, "Options" is called "Preferences" and is under the "Edit" menu, while on Windows it's under "Tools".