+ // check if the hyperref settings use an encoding that exceeds
+ // ours. If so, we have to switch to utf8.
+ Encoding const * const enc = runparams.encoding;
+ docstring const hs = from_utf8(hyperset);
+ bool need_unicode = false;
+ if (enc) {
+ for (size_t n = 0; n < hs.size(); ++n) {
+ if (enc->latexChar(hs[n], true) != docstring(1, hs[n]))
+ need_unicode = true;
+ }
+ }