break;
default:
warn('Unknown type of font: ' + type);
+ baseEncoding = [];
+ break;
}
}
// This case is here for compatibility.
var descriptor = xref.fetchIfRef(dict.get('FontDescriptor'));
if (!descriptor) {
- var baseFontName = dict.get('BaseFont');
- if (!isName(baseFontName))
- return null;
+ var baseFontName = dict.get('BaseFont') || new Name('sans-serif');
// Using base font name as a font name.
baseFontName = baseFontName.name.replace(/,/g, '_');