0ct0pu5/wesnoth
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

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

Browse source
This commit is contained in:
Sofronius 2003-11-22 13:04:04 +00:00
parent 810e6c18bf
commit c7f91dfbe4
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
src/widgets/menu.cpp
View file

@ -85,6 +85,7 @@ void menu::set_width(int w)
{
width_ = w;
set_loc(x_, y_);
itemRects_.clear();
}
void menu::redraw()