tree 3bc14ffa088ed92664380e9fc693975d66370f34
parent e8af138cb90db6e10037401d56704f3bb07cc4b5
author adamdunkels <adamdunkels> 1050092523 +0000
committer adamdunkels <adamdunkels> 1050092523 +0000

Rewrote mouse pointer support and it now works with menus, icons, widgets, for switching focus between windows and for moving windows