On Tue, November 24, 2015 01:43, Quincey Morris wrote: > You're going to have to change all 4 settings, I guess.
You can shift-select a bunch and change their fonts all at the same time. > Yes, itÂ’s a really, really horrible UI. No arguments from me! Regards -- Sak Wathanasin Network Analysis Limited http://www.network-analysis.ltd.uk _______________________________________________ Do not post admin requests to the list. They will be ignored. Xcode-users mailing list ([email protected]) Help/Unsubscribe/Update your Subscription: https://lists.apple.com/mailman/options/xcode-users/archive%40mail-archive.com This email sent to [email protected]
