diff stream/cache2.c @ 36722:af6374499845

Don't unnecessarily stop Win32 GUI playback. There is no reason to do so in the preferences dialog.
author ib
date Sun, 09 Feb 2014 17:52:18 +0000
parents 7766530caa76
children
line wrap: on
line diff