Commit 67a80b12711191ef0cace927a8509d4f99986917 Parent d965afb9cb8ea103e76505635834477c5ef7dfd6 Author Pablo <pablo-escobar@riseup.net> Date Mon, 17 Jan 2022 22:36:05 +0000 Fixed a bug regarding discrepencies in the sizes of the fonts in the editor