[Wesnoth-cvs-commits] Fixed refreshing when menu::set_width( ) was used.

[Jan Zvánovec]

Title: Fixed refreshing when menu::set_width( ) was used.

Commit from Sofronius

2003-11-22 08:04 EST

Fixed refreshing when menu::set_width( ) was used.

	Module	File name	Revision
	wesnoth	src/widgets/menu.cpp	1.11	>>>	1.12

    


    
Generated by cvsreport 0.3.3