9 lines
364 B
Plaintext

void script_53(int arg0,int arg1,int arg2) {
setWidgetText(new WidgetPointer(arg0), intToStr(script_5256()) + " / " + intToStr(script_5255()));
setWidgetSize(getTextWidth(495, getWidgetText(new WidgetPointer(arg0))), getWidgetActualHeight(new WidgetPointer(arg0)), 0, 0, new WidgetPointer(arg0));
if (((boolean)arg2)) {
script_5264(arg0, arg1);
}
return;
}