Fixes #421

A bit hackish, but mouse-resizing is nice. set_int caused issues (?)