This window allows you to set preferences which control various aspects of maketool's operation. All the preferences are saved in the file $HOME/.maketoolrc when you press the OK button and at certain other times.
The Preferences window is divided into several panes: