Added an option for the thread pool size in the preferences dialog