refactor font caching to just save the ID instead of mainting a cache with pattern→id-mapping

2011-03-10 23:20:17 +01:00
parent 6e4a2b0b96
commit f162e7efaa
11 changed files with 35 additions and 56 deletions
--- a/src/cfgparse.y
+++ b/src/cfgparse.y
@ -597,8 +597,8 @@ terminal:
 font:
        TOKFONT WHITESPACE STR
        {
-                config.font = $<string>3;
-                printf("font %s\n", config.font);
+                config.font = load_font($<string>3, true);
+                printf("font %s\n", $<string>3);
        }
        ;