comparison mangle.h @ 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 f1b71fa008e8
children
comparison
equal deleted inserted replaced
36721:e9044aed2250 36722:af6374499845