* Magically guess that an option is a filename or directory and provide
  a "browse" button.
* Make the options dialog resizable
