399 GtkAdjustment *adjustment;
400 GtkCssProvider *provider;
402 player->
controls = gtk_box_new (GTK_ORIENTATION_HORIZONTAL, 0);
404 gtk_style_context_add_class (gtk_widget_get_style_context (player->
controls), GTK_STYLE_CLASS_OSD);
407 g_signal_connect_swapped (player->
play_button,
"clicked",
410 gtk_widget_set_name (player->
play_button,
"ev-media-player-play-button");
411 gtk_widget_set_valign (player->
play_button, GTK_ALIGN_CENTER);
412 gtk_button_set_relief (GTK_BUTTON (player->
play_button), GTK_RELIEF_NONE);
413 gtk_button_set_image (GTK_BUTTON (player->
play_button),
414 gtk_image_new_from_icon_name (
"media-playback-start-symbolic",
415 GTK_ICON_SIZE_MENU));
416 gtk_button_set_label(GTK_BUTTON (player->
play_button), NULL);
419 provider = gtk_css_provider_new ();
420 gtk_css_provider_load_from_data (provider,
"#ev-media-player-play-button { padding: 0px 8px 0px 8px; }", -1, NULL);
421 gtk_style_context_add_provider (gtk_widget_get_style_context (player->
play_button),
422 GTK_STYLE_PROVIDER (provider),
423 GTK_STYLE_PROVIDER_PRIORITY_USER);
424 g_object_unref (provider);
429 adjustment = gtk_adjustment_new (0, 0, 1, 0.1, 0.10, 0);
430 player->
slider = gtk_scale_new (GTK_ORIENTATION_HORIZONTAL, adjustment);
431 g_signal_connect_swapped (player->
slider,
"change-value",
434 gtk_widget_set_hexpand (player->
slider,
TRUE);
435 gtk_scale_set_draw_value (GTK_SCALE (player->
slider),
FALSE);
437 gtk_widget_show (player->
slider);