Changes responsibility for hinting (#61).
authorDaniel Carl <danielcarl@gmx.de>
Sun, 12 Jan 2014 19:25:15 +0000 (20:25 +0100)
committerDaniel Carl <danielcarl@gmx.de>
Sun, 12 Jan 2014 21:10:36 +0000 (22:10 +0100)
commitd8b406d2512c16accfa7b873e21041bbe33a1d7b
tree2049c9e27ed4b81ceca4443f581121689f4499c9
parent6e7e3a1266271041ca794252cf0396764c5638f1
Changes responsibility for hinting (#61).

The JavaScript handles now the clearing of the hints, so that we do not run
into trouble if the hinting object is overwritten by the next page call before
we are able to run the clear() method on it.
The JavaScript handles also the number filter processing now.
src/hints.c
src/hints.h
src/hints.js