diff configure @ 34033:395a736cd075

Add cursor autohide functionality to the GUI. Utilize the code from x11_common.
author ib
date Wed, 21 Sep 2011 13:26:02 +0000
parents d0ecb5d14258
children 87cc9c910c06
line wrap: on
line diff