More generally it might be useful to add a command line option to specify the language level for EPS/PS and PDF export (with Cairo >=1.10 PDF can be either 1.4 or 1.5, see bug #664335), regardless of whether the language level chooser in the GUI is buggy or not.
More generally it might be useful to add a command line option to specify the language level for EPS/PS and PDF export (with Cairo >=1.10 PDF can be either 1.4 or 1.5, see bug #664335), regardless of whether the language level chooser in the GUI is buggy or not.