#809 GUI bug for display of format options

[Noel O'Boyle]

When you click an input file format, the options section in the centre updates with the format-specific options, even where the "Use this format for all input files" box is unticked.

At the same time, when you type a new extension for the input file (or open a new file), the options do not update even if the file extension has changed.