For HighDPI versions, IOBox(String) editor window looks ugly/inconsistent

See image.

(for some reason the image was blurred but the main point is the “Viewing slice: … of: 1” is severely pixelated )