var a01077 =
[
    [ "FetchFixedCharWidth", "d0/dd3/a01077.xhtml#ad218e11c2470175bc3dcc5adb758da6a", null ],
    [ "FetchMaxCharWidth", "d0/dd3/a01077.xhtml#ace504c17204610407a5b895b7985caed", null ],
    [ "FetchMaxVariantCharWidth", "d0/dd3/a01077.xhtml#aabee68fe4cd4cfbd61d64d9affbe201f", null ]
];