Remove a widget manager warning.
git-svn-id: svn+ssh://svn.code.sf.net/p/supertuxkart/code/trunk/supertuxkart@1332 178a84e3-b1eb-0310-8ba1-8eac791a3b58
This commit is contained in:
parent
a28879b077
commit
18b70c9dd1
@ -212,15 +212,21 @@ void MenuManager::update()
|
||||
break;
|
||||
} // switch
|
||||
|
||||
// Restores the previously selected widget if there was one.
|
||||
if (saved_widget != WidgetManager::WGT_NONE)
|
||||
{
|
||||
widget_manager->lighten_wgt_color( saved_widget );
|
||||
widget_manager->pulse_wgt( saved_widget );
|
||||
widget_manager->set_selected_wgt(saved_widget);
|
||||
} else if( widget_manager->get_selected_wgt() != WidgetManager::WGT_NONE )
|
||||
|
||||
if( id != MENUID_EXITGAME )
|
||||
{
|
||||
widget_manager->lighten_wgt_color(widget_manager->get_selected_wgt());
|
||||
// Restores the previously selected widget if there was one.
|
||||
if (saved_widget != WidgetManager::WGT_NONE)
|
||||
{
|
||||
widget_manager->lighten_wgt_color( saved_widget );
|
||||
widget_manager->pulse_wgt( saved_widget );
|
||||
widget_manager->set_selected_wgt(saved_widget);
|
||||
} else if( widget_manager->get_selected_wgt() !=
|
||||
WidgetManager::WGT_NONE )
|
||||
{
|
||||
widget_manager->lighten_wgt_color (
|
||||
widget_manager->get_selected_wgt() );
|
||||
}
|
||||
}
|
||||
}
|
||||
}
|
||||
|
Loading…
Reference in New Issue
Block a user