comparison src/skins/ui_playlist.c @ 2989:323138ecc070

skins interface: fix crash
author William Pitcock <nenolod@atheme.org>
date Wed, 07 Jan 2009 20:25:14 -0600
parents 3134a0987162
children 9978be206b93
comparison
equal deleted inserted replaced
2988:059285b5de7c 2989:323138ecc070
1573 1573
1574 1574
1575 void 1575 void
1576 playlistwin_show(void) 1576 playlistwin_show(void)
1577 { 1577 {
1578 gtk_window_move(GTK_WINDOW(playlistwin), config.playlist_x, config.playlist_y);
1579 GtkAction *action = gtk_action_group_get_action( 1578 GtkAction *action = gtk_action_group_get_action(
1580 toggleaction_group_others , "show playlist editor" ); 1579 toggleaction_group_others , "show playlist editor" );
1580
1581 gtk_window_move(GTK_WINDOW(playlistwin), config.playlist_x, config.playlist_y);
1581 gtk_toggle_action_set_active( GTK_TOGGLE_ACTION(action) , TRUE ); 1582 gtk_toggle_action_set_active( GTK_TOGGLE_ACTION(action) , TRUE );
1582 1583
1583 config.playlist_visible = TRUE; 1584 config.playlist_visible = TRUE;
1584 ui_skinned_button_set_inside(mainwin_pl, TRUE); 1585 ui_skinned_button_set_inside(mainwin_pl, TRUE);
1585 1586
1586 playlistwin_set_toprow(0); 1587 playlistwin_set_toprow(0);
1587 aud_playlist_check_pos_current(aud_playlist_get_active());
1588 1588
1589 gtk_widget_show_all(playlistwin); 1589 gtk_widget_show_all(playlistwin);
1590 if (!config.playlist_shaded) 1590 if (!config.playlist_shaded)
1591 gtk_widget_hide(playlistwin_sinfo); 1591 gtk_widget_hide(playlistwin_sinfo);
1592 gtk_window_present(GTK_WINDOW(playlistwin)); 1592 gtk_window_present(GTK_WINDOW(playlistwin));