diff options
| author | raveit65 <[email protected]> | 2016-06-24 20:06:52 +0200 |
|---|---|---|
| committer | raveit65 <[email protected]> | 2016-06-29 16:23:03 +0200 |
| commit | 4bd77ab2a58733fd599912946e84b57904e3e040 (patch) | |
| tree | 4a22482b98d22701cebbb3b3678e7d0dfa853bdc /backend/dvi/mdvi-lib | |
| parent | d49b6aee6d2e889a08fe17b0788b16ba15e9da3f (diff) | |
| download | atril-4bd77ab2a58733fd599912946e84b57904e3e040.tar.bz2 atril-4bd77ab2a58733fd599912946e84b57904e3e040.tar.xz | |
dvi: Use t1 font mapping files
http://bugzilla.gnome.org/show_bug.cgi?id=612298
taken from:
https://git.gnome.org/browse/evince/commit/?id=dfbd28dfd9d790b5a3f39890f66a2da9a0d1c759
Diffstat (limited to 'backend/dvi/mdvi-lib')
| -rw-r--r-- | backend/dvi/mdvi-lib/fontmap.c | 7 |
1 files changed, 6 insertions, 1 deletions
diff --git a/backend/dvi/mdvi-lib/fontmap.c b/backend/dvi/mdvi-lib/fontmap.c index c3c3a8d3..4d7cb576 100644 --- a/backend/dvi/mdvi-lib/fontmap.c +++ b/backend/dvi/mdvi-lib/fontmap.c @@ -737,7 +737,7 @@ static int mdvi_init_fontmaps(void) return -1; dstring_init(&input); while((line = dgets(&input, in)) != NULL) { - char *arg; + char *arg, *map_file; SKIPSP(line); if(*line < ' ' || *line == '#' || *line == '%') @@ -748,6 +748,11 @@ static int mdvi_init_fontmaps(void) arg = getstring(line + 7, " \t", &line); *line = 0; DEBUG((DBG_FMAP, "%s: loading fontmap\n", arg)); ent = mdvi_load_fontmap(arg); + if(ent == NULL) { + map_file = kpse_find_file(arg, kpse_fontmap_format, 0); + if (map_file) + ent = mdvi_load_fontmap(map_file); + } if(ent == NULL) mdvi_warning(_("%s: could not load fontmap\n"), arg); else { |