Update: The change in font size mysteriously fixed itself, despite any changes to the system on my part. Kind of creepy...
sudden change in editor display text size after upgrade
This discussion has been locked because a year has elapsed since the last post. Please start a new discussion topic.