File diff r11518:6c02f3322c23 → r11519:80d5a7e0eeb8
src/window_gui.h
Show inline comments
 
@@ -494,17 +494,16 @@ public:
 
	 * Called when this window's timeout has been reached.
 
	 */
 
	virtual void OnTimeout() {}
 

	
 

	
 
	/**
 
	 * Called when the window got resized.
 
	 * @param new_size the new size of the window.
 
	 * @param delta    the amount of which the window size changed.
 
	 * Called after the window got resized.
 
	 * @param delta The amount of which the window size changed.
 
	 */
 
	virtual void OnResize(Point new_size, Point delta) {}
 
	virtual void OnResize(Point delta) {}
 

	
 
	/**
 
	 * A dropdown option associated to this window has been selected.
 
	 * @param widget the widget (button) that the dropdown is associated with.
 
	 * @param index  the element in the dropdown that is selected.
 
	 */