From: Georg Baum Date: Sun, 5 Jun 2016 14:53:55 +0000 (+0200) Subject: Fix encoding for computer modern fonts X-Git-Tag: 2.3.0alpha1~1568 X-Git-Url: https://git.lyx.org/gitweb/?a=commitdiff_plain;h=0009732fe8fd3f0793c13c1ce4160adec8313714;p=features.git Fix encoding for computer modern fonts The essential hints came from Guillaume amd Jean-Marc at bug #8883. Tested by comparing the output of python generate_symbols_list.py `kpsewhich fontmath.ltx` with lib/symbols. --- diff --git a/development/tools/generate_symbols_list.py b/development/tools/generate_symbols_list.py index 02482f6d33..d640a6b729 100755 --- a/development/tools/generate_symbols_list.py +++ b/development/tools/generate_symbols_list.py @@ -12,11 +12,15 @@ import sys,string,re,os,os.path import io def get_code(code, font): - if font != "dontknowwhichfontusesthisstrangeencoding": + # computer modern fonts use a strange encoding + cmfonts = ["cmex", "cmr", "cmm", "cmsy"] + if font not in cmfonts: return code if code < 10: return code+161 - elif code < 32: + if code < 11: + return code+162 + elif code <= 32: return code+163 else: return code