Gravity in Space: Tiny fix with 0.7.3

Hi guys! A very, very small issue is fixed: Now you can customize the input control for setting the mine velocity. So you may use a mouse without mouse wheel. This is a requirement for a new feature coming soon: I want…