static void background_set_color_from_palette ( guint palette )
{
g_return_if_fail( palette < NUM_PALETTES );
background_color.red = pallete_colors[palette].red;
background_color.green = pallete_colors[palette].green;
background_color.blue = pallete_colors[palette].blue;
background_show ();
}
void
on_background_color_picker_realize (GtkWidget *widget, gpointer user_data)
{
background_widget = widget;
background_color.red = 0xFFFF;
background_color.green = 0xFFFF;
background_color.blue = 0xFFFF;
background_show ();
}
gboolean
on_background_color_picker_button_release_event ( GtkWidget *widget,
GdkEventButton *event,
gpointer user_data )
{
if ( event->button == LEFT_BUTTON )
{
color_dialog( &background_color, _("Select Background Color") );
background_show ();
}
return TRUE;
}
void
dvb_shutdown(void)
{
if (!o_dvb_bg) return;
if (!_hide_timer)
{
menu_show();
background_show();
mini_pause_set(0);
}
else
{
ecore_timer_del(_hide_timer);
_hide_timer = NULL;
}
evas_object_del(o_dvb_bg);
evas_object_del(o_dvb);
if (dvb_stopped_job) ecore_job_del(dvb_stopped_job);
o_dvb = NULL;
o_dvb_bg = NULL;
dvb_stopped_job = NULL;
}
