/*
 * File:	wx_timer.h
 * Purpose:	wxTimer - provides simple timer functionality
 * Author:	Julian Smart
 * Created:	1993
 * Updated:	
 * Copyright:	(c) 2004-2007 PLT Scheme Inc.
 * Copyright:	(c) 1993, AIAI, University of Edinburgh
 *
 * Renovated by Matthew for MrEd, 1995-2000
 */

#ifndef wx_timerh
#define wx_timerh

#include "common.h"
#include "wx_obj.h"
#include "wb_timer.h"

class wxTimer: public wxbTimer
{
 public:
  wxTimer(void *ctx = NULL);
  ~wxTimer(void);
  virtual Bool Start(int milliseconds = -1,Bool one_shot = FALSE); // Start timer
  virtual void Stop(void);                   // Stop timer

  void Dequeue(void);
  void SetContext(void *ctx);
};

#endif // wx_timerh
