Icon of Tools > Options… for Linux

Tools > Options… for Linux 2.1.2  No Restart

by Daniel Dawson

Moves Edit > Preferences to Tools > Options…