File diff r11518:6c02f3322c23 → r11519:80d5a7e0eeb8
src/misc_gui.cpp
Show inline comments
 
@@ -1727,7 +1727,7 @@ public:
 
		}
 
	}
 

	
 
	virtual void OnResize(Point new_size, Point delta)
 
	virtual void OnResize(Point delta)
 
	{
 
		/* Widget 2 and 3 have to go with halve speed, make it so obiwan */
 
		uint diff = delta.x / 2;