private void SizeChangedHandler(int newWidth, int newHeight)
{
int menuHeight = this.MenuShown ? this.MainMenuStrip.Height : 0;
this.sizeRelay[0] = CrayonWrapper.v_buildInteger(newWidth);
this.sizeRelay[1] = CrayonWrapper.v_buildInteger(newHeight - menuHeight);
this.RunRenderer();
}
public static void CheckLoaderIsDone(
object[] imageLoaderNativeData,
object[] nativeImageDataNativeData,
List <Value> output)
{
int status = 0;
lock (imageLoaderNativeData[3])
{
status = (int)imageLoaderNativeData[2];
}
output[0] = CrayonWrapper.v_buildInteger(status);
}
private static Value ParseJsonNumber(char[] rawValue, int length, Index i)
{
int sign = 1;
char c = rawValue[i.Value];
if (c == '-')
{
sign = -1;
i.Value++;
}
StringBuilder sb = new StringBuilder();
while (i.Value < length)
{
c = rawValue[i.Value++];
if (c != '.' && (c < '0' || c > '9'))
{
i.Value--;
break;
}
else
{
sb.Append(c);
}
}
string stringValue = sb.ToString();
if (stringValue.Contains('.'))
{
double value;
if (double.TryParse(stringValue, out value))
{
return(CrayonWrapper.v_buildFloat(value * sign));
}
}
else
{
int value;
if (int.TryParse(stringValue, out value))
{
return(CrayonWrapper.v_buildInteger(value * sign));
}
}
throw new JsonParserException();
}
private static Value WrapInteger(int value)
{
return(CrayonWrapper.v_buildInteger(value));
}