[throwaway81523]

Thanks, View->Font Size is not present in the version I'm using, but it sounds like they may have just added it. I guess they finally listened to the cries of users. I will look into how to run the new version without confusing apt too much.