This is right for me, but to be honest, Matthias Klose thought this fix was necessary to avoid unwanted inclusion of fonts when exporting to PDF (see https://lists.ubuntu.com/archives/ubuntu-devel-discuss/2008-March/003477.html). If you think (like I do) that the fix is worse than the original bug, just go on - and thanks for solving this.
This is right for me, but to be honest, Matthias Klose thought this fix was necessary to avoid unwanted inclusion of fonts when exporting to PDF (see https:/ /lists. ubuntu. com/archives/ ubuntu- devel-discuss/ 2008-March/ 003477. html). If you think (like I do) that the fix is worse than the original bug, just go on - and thanks for solving this.