Removed unused function gui2::get_uid.

This commit is contained in:
Guillaume Melquiond 2010-11-07 15:53:14 +00:00
parent 582aa0d5ed
commit 08af272837
2 changed files with 0 additions and 20 deletions

View File

@ -137,16 +137,6 @@ t_string missing_widget(const std::string& id)
return t_string(vgettext("Mandatory widget '$id' hasn't been defined.", symbols));
}
std::string get_uid()
{
static unsigned id = 0;
++id;
assert(id); // avoid wrapping.
return "____" + lexical_cast<std::string>(id);
}
void get_screen_size_variables(game_logic::map_formula_callable& variable)
{
variable.add("screen_width", variant(settings::screen_width));

View File

@ -136,16 +136,6 @@ unsigned decode_font_style(const std::string& style);
*/
t_string missing_widget(const std::string& id);
/**
* Gets an unique id for a widget.
*
* The id will have extra leading underscores so it's in the private range and
* can't collide with user defined ids.
*
* @returns The id.
*/
std::string get_uid();
/**
* Gets a formula object with the screen size.
*