Oliver Schmidt 957ac63a7c Improved dicarding of text in the HTML header.
Plain text in the HTML header (think of <title>text</title>) is collected as usual. The decision to discard it is triggered by the first withspace following. In the usual case of the <body> no preceeded by any whitespace this means that by the point the first whitespace is encountered we're not in "discard mode" anymore and therefore incorrectly render the text.

Explicitly calling do_word() just before leaving "discard mode" discards all text collected so far.
2016-10-11 11:25:31 +02:00
..
2016-05-15 12:19:04 +02:00
2015-11-01 18:10:17 +01:00
2015-06-21 14:25:52 +02:00
2015-05-18 08:53:17 +02:00
2015-01-09 09:44:06 +01:00
2015-10-20 10:11:47 +02:00
2015-10-20 10:11:47 +02:00
2016-06-12 21:16:01 -03:00