# HG changeset patch # User pontscho # Date 1028493861 0 # Node ID e32d3d0d8998c382875a8112d1e181f863645dea # Parent 2ef35e71ad784a05291539a284750694443696bd - fix playlist2dvd bug - change playlist selection mode diff -r 2ef35e71ad78 -r e32d3d0d8998 Gui/mplayer/gtk/pl.c --- a/Gui/mplayer/gtk/pl.c Sun Aug 04 20:33:19 2002 +0000 +++ b/Gui/mplayer/gtk/pl.c Sun Aug 04 20:44:21 2002 +0000 @@ -548,7 +548,7 @@ gtk_widget_show( CLFiles ); gtk_container_add( GTK_CONTAINER( scrolledwindow2 ),CLFiles ); gtk_clist_set_column_width( GTK_CLIST( CLFiles ),0,80 ); - gtk_clist_set_selection_mode( GTK_CLIST( CLFiles ),GTK_SELECTION_MULTIPLE ); + gtk_clist_set_selection_mode( GTK_CLIST( CLFiles ),GTK_SELECTION_EXTENDED ); gtk_clist_column_titles_show( GTK_CLIST( CLFiles ) ); gtk_clist_set_shadow_type( GTK_CLIST( CLFiles ),GTK_SHADOW_NONE ); diff -r 2ef35e71ad78 -r e32d3d0d8998 Gui/mplayer/mw.h --- a/Gui/mplayer/mw.h Sun Aug 04 20:33:19 2002 +0000 +++ b/Gui/mplayer/mw.h Sun Aug 04 20:44:21 2002 +0000 @@ -268,7 +268,7 @@ vcd_track=0; dvd_title=0; - if ( gtkSet( gtkGetCurrPlItem,0,NULL ) ) + if ( gtkSet( gtkGetCurrPlItem,0,NULL ) &&( guiIntfStruct.StreamType == STREAMTYPE_FILE ) ) { plItem * next = gtkSet( gtkGetCurrPlItem,0,NULL ); plLastPlayed=next;