4 commits

Author	SHA1	Message	Date
Fini Jastrow	334238d030	Start release v3.0.0 ... Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2023-04-27 21:57:22 +02:00
Fini Jastrow	ff57585e51	font-patcher: Add box drawing glyphs ... Fixes: #1108 Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2023-03-10 12:32:05 +01:00
Fini Jastrow	40d82b0a0a	generate-extraglyphs: Correct output ... [why] We print two times the name of the output font, and never the name of the input font... [how] *cough* Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2023-02-14 10:11:24 +01:00
Fini Jastrow	59c5cb5a1f	font-patcher: Patch in heavy angle brackets ... [why] The heavy angle brackets (276E and 276F) are used for a lot of prompts, but we do not yet patch them in and a lot of fonts do not bring them themselves. [how] One time rip the glyphs out from Hack and patch them in always, but careful (do not replace existing glyph). We take the whole set 276C - 2771. [note] Usually we should never again need to run the generate-extraglyphs script, we rip them out now and they look good. Whatever Hack does with new versions we can follow but that is optional. Related: #1110 Signed-off-by: Fini Jastrow <ulf.fini.jastrow@desy.de>	2023-02-10 16:41:00 +01:00