<script type="text/javascript" src="../../metrics.js"></script>
<script type="text/javascript" src="../../fonts.js"></script>
<script type="text/javascript" src="../../glyphlist.js"></script>
+ <script type="text/javascript" src="../../worker.js"></script>
+ <script type="text/javascript" src="../../worker/message_handler.js"></script>
+ <script type="text/javascript" src="../../worker/processor_handler.js"></script>
<script type="text/javascript" src="hello.js"></script>
</head>
// to the page already and we don't have to do anything for this font
// here future.
if (font.fontObj) {
- console.log('got already', font.properties.loadedName);
continue;
}