| 4039 static void |
4039 static void |
| 4040 make_video_test(GtkWidget *vbox) |
4040 make_video_test(GtkWidget *vbox) |
| 4041 { |
4041 { |
| 4042 GtkWidget *test; |
4042 GtkWidget *test; |
| 4043 GtkWidget *video; |
4043 GtkWidget *video; |
| |
4044 #if GTK_CHECK_VERSION(3,0,0) |
| |
4045 GdkRGBA color = {0.0, 0.0, 0.0, 1.0}; |
| |
4046 #else |
| 4044 GdkColor color = {0, 0, 0, 0}; |
4047 GdkColor color = {0, 0, 0, 0}; |
| |
4048 #endif |
| 4045 |
4049 |
| 4046 video = gtk_drawing_area_new(); |
4050 video = gtk_drawing_area_new(); |
| 4047 gtk_box_pack_start(GTK_BOX(vbox), video, TRUE, TRUE, 0); |
4051 gtk_box_pack_start(GTK_BOX(vbox), video, TRUE, TRUE, 0); |
| |
4052 #if GTK_CHECK_VERSION(3,0,0) |
| |
4053 gtk_widget_override_background_color(video, GTK_STATE_FLAG_NORMAL, &color); |
| |
4054 #else |
| 4048 gtk_widget_modify_bg(video, GTK_STATE_NORMAL, &color); |
4055 gtk_widget_modify_bg(video, GTK_STATE_NORMAL, &color); |
| |
4056 #endif |
| 4049 gtk_widget_set_size_request(GTK_WIDGET(video), 240, 180); |
4057 gtk_widget_set_size_request(GTK_WIDGET(video), 240, 180); |
| 4050 |
4058 |
| 4051 test = gtk_toggle_button_new_with_label(_("Test Video")); |
4059 test = gtk_toggle_button_new_with_label(_("Test Video")); |
| 4052 gtk_box_pack_start(GTK_BOX(vbox), test, FALSE, FALSE, 0); |
4060 gtk_box_pack_start(GTK_BOX(vbox), test, FALSE, FALSE, 0); |
| 4053 |
4061 |