Archived topic

Editor font sizes in 3.2.0

15 replies · Started by Paul on October 26, 2022

Viewing posts 16–16 of 16

December 14, 2022 at 5:14 am #2461476

Thanks Tom, late reply but this fix works fine. Thanks again.

This archived topic is closed to new replies.