Takes into account the ratio between the screen size and the default window dimensions.
OS.read_string_from_stdin()