diff path.h @ 35132:5ba6eb55d311

Avoid sleeping for too long without reacting to user input. Fixes bug #2092.
author reimar
date Mon, 01 Oct 2012 19:47:45 +0000
parents 8e7537586f0b
children
line wrap: on
line diff