media-sound/muine/files/muine-0.8.3-gtk-sharp-2.x.90-compat.diff


1
2
3
4
5
6
7
8
9
10
11
12

diff -aur muine-0.8.3-orig/src/PlaylistWindow.cs muine-0.8.3/src/PlaylistWindow.cs
--- muine-0.8.3-orig/src/PlaylistWindow.cs	2005-05-01 12:25:15.000000000 -0400
+++ muine-0.8.3/src/PlaylistWindow.cs	2005-08-16 19:29:45.000000000 -0400
@@ -431,7 +431,7 @@
 		public void RestorePlaylist ()
 		{
 			// Load last playlist
-			if (!File.Exists (FileUtils.PlaylistFile))
+			if (!System.IO.File.Exists (FileUtils.PlaylistFile))
 				return;
 
 			OpenPlaylistInternal (FileUtils.PlaylistFile,