Please note that this message will contain a full copy of the comment thread,
including the initial issue submission, for this request,
not just the latest update.
Submitted By: Noel O'Boyle (baoilleach)
Assigned to: Nobody/Anonymous (nobody)
Summary: GUI bug for display of format options
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.