On Tue, Jul 26, 2022 at 08:31:47PM +0200, Tobias Nygren wrote: > It's a trivial fix. I fixed this issue in mplayer the other day > but forgot about gmplayer. Should work now, cvs up. Oh, heh - cool patch, thanks! Martin