show/hide combobox to choose print resolution

When the print resolution is set in GlobalOptions.js, the combobox to choose a resolution does not appear any more. It may happen, that a user is overstrained with this choice.