diff gui/wm/ws.c @ 31844:22f2eb79536f

Simplify ts_sync. Might also make it easier to optimize a bit.
author reimar
date Wed, 04 Aug 2010 12:38:52 +0000
parents e45b8fb721fd
children 9e6fdede8ece
line wrap: on
line diff