Sound should now work again. Music looping does probably not work, however (at least now with mp3).

2026-08-15 15:51:12 +02:00 · 2009-10-24 23:48:06 +02:00
parent ff06834934
commit 0d897b0b0f
14 changed files with 551 additions and 564 deletions
@@ -48,7 +48,7 @@ namespace null
 		void pause();
 		void resume();
 		void rewind();
-		bool isFinished() const;
+		bool isStopped() const;
 		void update();

 		void setPitch(float pitch);