diff options
author | Karl Berry <karl@freefriends.org> | 2018-01-17 22:50:15 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2018-01-17 22:50:15 +0000 |
commit | e7dfe5ab98e759081fc73990ed6c1ac6910a105d (patch) | |
tree | 1635f79c86856a6aa57a45b8b952b651ef9fcba9 /Build/source/texk/dvisvgm/dvisvgm-src/src/FontManager.hpp | |
parent | ae542350b1e3add10d4ee3d7b68f610132f31a50 (diff) |
dvisvgm 2.3.1 (patched)
git-svn-id: svn://tug.org/texlive/trunk@46352 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source/texk/dvisvgm/dvisvgm-src/src/FontManager.hpp')
-rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-src/src/FontManager.hpp | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-src/src/FontManager.hpp b/Build/source/texk/dvisvgm/dvisvgm-src/src/FontManager.hpp index ade32bec26c..49aece6fc62 100644 --- a/Build/source/texk/dvisvgm/dvisvgm-src/src/FontManager.hpp +++ b/Build/source/texk/dvisvgm/dvisvgm-src/src/FontManager.hpp @@ -2,7 +2,7 @@ ** FontManager.hpp ** ** ** ** This file is part of dvisvgm -- a fast DVI to SVG converter ** -** Copyright (C) 2005-2017 Martin Gieseking <martin.gieseking@uos.de> ** +** Copyright (C) 2005-2018 Martin Gieseking <martin.gieseking@uos.de> ** ** ** ** This program is free software; you can redistribute it and/or ** ** modify it under the terms of the GNU General Public License as ** @@ -21,12 +21,12 @@ #ifndef FONTMANAGER_HPP #define FONTMANAGER_HPP -#include <map> #include <memory> #include <ostream> #include <set> #include <string> #include <stack> +#include <unordered_map> #include <vector> #include "Color.hpp" #include "FontStyle.hpp" @@ -43,11 +43,11 @@ class VirtualFont; * appear anywhere in the output. */ class FontManager { - typedef std::map<uint32_t,int> Num2IdMap; - typedef std::map<std::string,int> Name2IdMap; - typedef std::map<const VirtualFont*,Num2IdMap> VfNum2IdMap; - typedef std::map<const VirtualFont*, uint32_t> VfFirstFontMap; - typedef std::stack<VirtualFont*> VfStack; + using Num2IdMap = std::unordered_map<uint32_t,int>; + using Name2IdMap = std::unordered_map<std::string,int>; + using VfNum2IdMap = std::unordered_map<const VirtualFont*,Num2IdMap>; + using VfFirstFontMap = std::unordered_map<const VirtualFont*,uint32_t>; + using VfStack = std::stack<VirtualFont*>; public: static FontManager& instance (); |