Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix some GUI scaling #7539
Various GUI elements were not being scaled appropriately with UI scale set to 2x and 4x. Especially newspapers and query boxes were too narrow.
This also scales up the news ticker scroll speed by UI scale, as it otherwise goes by too slow to clear the screen.