Icon of Tools > Options… for Linux

Tools > Options… for Linux 2.1.2  No Restart

oleh Daniel Dawson

Moves Edit > Preferences to Tools > Options…