bjorn/mana — comment on commit efb964910ac90a510e1e08290dc7b051b0592cbd
File:  line 0
By bjorn:

Alright, pushed (after a bit of renaming and applying a minimum size, which is unfortunately not communicated back to the window, but is still better to avoid the windows sticking to the wrong side when making the client very small).

I saw the blurriness is due to some interesting code that actually replaces the image managed by the `ResourceManager` with the scaled version. Seems like a good idea to fix that separately.