diff Gui/interface.c @ 7539:56ea9db91251

-nograbpointer, based on old patch by Christian Ohm <chr.ohm@gmx.net>
author arpi
date Sat, 28 Sep 2002 20:09:14 +0000
parents c7b61f316edf
children 4a233f3b09a7
line wrap: on
line diff