vector draw_shift;
vector draw_scale;
float draw_alpha;

void draw_reset();
void draw_setMousePointer(string pic);
void draw_drawMousePointer(vector where);

void draw_ButtonPicture(vector theOrigin, string pic, vector theSize, vector theColor, float theAlpha);
void draw_VertButtonPicture(vector theOrigin, string pic, vector theSize, vector theColor, float theAlpha);
void draw_BorderPicture(vector theOrigin, string pic, vector theSize, vector theColor, float theAlpha, vector theBorderSize);
void draw_Picture(vector origin, string pic, vector size, vector color, float alpha);
void draw_Fill(vector theOrigin, vector theSize, vector theColor, float theAlpha);
void draw_Text(vector origin, string text, vector size, vector color, float alpha);
float draw_TextWidth(string text);
string draw_TextShortenToWidth(string text, float maxWidth);

void draw_SetClip();
void draw_ClearClip();

vector boxToGlobal(vector v, vector shift, vector scale);
vector boxToGlobalSize(vector v, vector scale);
vector globalToBox(vector v, vector shift, vector scale);
vector globalToBoxSize(vector v, vector scale);

float draw_NeedResizeNotify;