Archived tweet #9372 from the @leastfixedpoint Twitter Archive

@0x2744 So you could probably set Preferences bigDisplay, and maybe also change StandardSize to something else. Other sizes are hardcoded - look for implementations of initialExtent.