Whoops, sorry I put it the wrong way round - have never really used Phabricator before. Thanks for fixing it ;)

Fix text inputs, use direct gui.scale (now dependent on D328)

Before and after screenshots here (Imgur)

Because of the way this is written, it should be very easy to generate 4x fonts if people require. However, generating larger and larger size fonts isn't ideal, would be best to integrate TrueType if we kept adding even more sizes.

Looks good to me in its current state

I like what you did with map()

0.01 is not a sensible minimum - I would have thought perhaps 0.5 is as far as we need to go.

Would be good (mentioned also by @elexis I think) to get an option in the options panel to change gui.scale

Did check code, I'm fact because track was down I tried to fix this myself and pretty much did the exact same thing before I found this.

Lastest commit is trivial; just updating copyright notices

Manually tested, fixes bug and makes playing experience much better. Automated tests pass.

As owner of a 4k screen can confirm, this is the only unexpected behaviour related to mouse movements/clicking I've found in 4K - main other gripe is some stuff still doesn't scale (e.g. cursor, addressed in D320, and low-res bitmap graphics that don't scale nicely - including font)

Tested on 4K screen on Ubuntu 16.04 with gui.scale = 0.5, 0.75 and 1, bandbox now actually matches up in all three cases (previously only when gui.scale = 1).