diff options
| author | raveit65 <[email protected]> | 2016-06-24 20:09:22 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-06-29 16:23:03 +0200 |
| commit | 660f81b3fdcc0ca436c95eaf41885accd74ec034 (patch) | |
| tree | 9ec945a8ae0a64d59cec8f473d611c1fd0e9b293 | |
| parent | 4bd77ab2a58733fd599912946e84b57904e3e040 (diff) | |
| download | atril-660f81b3fdcc0ca436c95eaf41885accd74ec034.tar.bz2 atril-660f81b3fdcc0ca436c95eaf41885accd74ec034.tar.xz | |
dvi: Use new font name instead of the old one
https://bugzilla.gnome.org/show_bug.cgi?id=612298
taken from:
https://git.gnome.org/browse/evince/commit/?id=8bab924
| -rw-r--r-- | backend/dvi/mdvi-lib/t1.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/backend/dvi/mdvi-lib/t1.c b/backend/dvi/mdvi-lib/t1.c index bc910ba6..d63f055c 100644 --- a/backend/dvi/mdvi-lib/t1.c +++ b/backend/dvi/mdvi-lib/t1.c @@ -143,7 +143,7 @@ char *t1_lookup_font(const char *name, Ushort *hdpi, Ushort *vdpi) /* get the `base' name */ if(ext) { - newname = mdvi_strdup(name); + newname = mdvi_strdup(info.fontfile); newname[ext - info.fontfile - 1] = 0; } else newname = (char *)name; /* we don't modify this */ |