This is exactly what I'm concerned with! And I agree that the title is a bit misleading. We should change it into sth more adequate because in the beginning I just wanted to propose font and font size change option but it is more like a bug and not a wish-list anymore.
This is exactly what I'm concerned with! And I agree that the title is a bit misleading. We should change it into sth more adequate because in the beginning I just wanted to propose font and font size change option but it is more like a bug and not a wish-list anymore.