diff Gui/wm/ws.c @ 22401:0fd3c34a3127

Fix incorrect spacing introduced in r22231: these two lines were supposed to perform truncation, not rounding.
author eugeni
date Sat, 03 Mar 2007 08:20:00 +0000
parents 218889a99c23
children
line wrap: on
line diff