#include <stdio.h>
#include <string.h>

#include "Desk.Wimp.h"
#include "Desk.WimpSWIs.h"
#include "Desk.Icon.h"


extern void Desk_Icon_SetInteger(Desk_window_handle w, Desk_icon_handle i, int value)
/*
 * Sets the given icon's text to hold the number in "value". (and redraws icon)
 * If unable to set the text (incorrect icon type), it returns quietly
 */
{
  char       text[16];

  sprintf(text, "%d", value);
  Desk_Icon_SetText(w, i, text);
}
