/*
 * Public Interface
 */
GL_PageControls_TypeDef* Widget_NewBigButtonFrequency(void)
{
	GL_PageControls_TypeDef* newControl = Widget_NewBigButton(
			"Frequency",
			INSIDE_WIDTH, INSIDE_HEIGHT,
			insideEventHandler,
			insideDrawHandler
		);
	return newControl;
}
/*
 * Public Interface
 */
GL_PageControls_TypeDef* Widget_NewBigButtonOptions()
{
	GL_PageControls_TypeDef* newControl = Widget_NewBigButton(
			"OPTIONS",
			INSIDE_WIDTH, INSIDE_HEIGHT,
			insideEventHandler,
			insideDrawHandler
		);
	return newControl;
}