Display special chars#37

Merged

WebCoder49 merged 10 commits intomainfrom

display-special-chars

May 6, 2023

Commits on Apr 12, 2023

(still has bugs) Start adding special char plugin
WebCoder49
committed

Commits on Apr 13, 2023

Start fixing character width in Firefox as still problems there; chromium works well
WebCoder49
committed

Commits on Apr 14, 2023

[INCOMPLETE] Work more on special chars
WebCoder49
committed

Commits on Apr 16, 2023

Start looking at bitmap font; make JS not replace HTML directly as dangerous
WebCoder49
committed
Add work-in-progress styles for special chars
WebCoder49
committed

Commits on Apr 30, 2023

Start adding hex codes in chars; Firefox no longer appears to support calculating width
WebCoder49
committed
Edit some styles
WebCoder49
committed
Fix some styling
WebCoder49
committed

Commits on May 1, 2023

Transfer HEX codes to special chars; TODO make it work with Firefox
WebCoder49
committed

Commits on May 6, 2023

Finalise special-chars plugin
WebCoder49
committed