#pragma once

#include <ui.h>

/// Push an event into the widget library.
void PushWidgetEvent(uiWidgetEvent* event);