if(i==widgets.end())
throw KeyError("Unknown widget", wdg);
- unsigned colon=data.find(':');
+ string::size_type colon=data.find(':');
WidgetBinding act;
act.wdg=i->second;
act.type=data.substr(0, colon);
while(1)
{
- unsigned underscore=str.find('_', start);
+ string::size_type underscore=str.find('_', start);
if(!str.compare(start, underscore-start, "NORMAL"))
state|=NORMAL;
else if(!str.compare(start, underscore-start, "HOVER"))
text=t;
lines.clear();
float font_size=style->get_font()->get_default_size();
- unsigned start=0;
+ string::size_type start=0;
while(1)
{
- unsigned newline=text.find('\n', start);
+ string::size_type newline=text.find('\n', start);
Line line;
line.start=start;