Jaime van Kessel 52d97dfbd2 Change back the behavior of the output device selector to the old way
Although the new way was discussed with our UXers, we got a number of reports that it was confusing.
I also accidentally started a print while using it
2018-12-31 09:32:16 +01:00
..