Make sure that Mouse.destroy ungrabs the cursor

This commit is contained in:
Elias Naur 2006-11-19 21:41:34 +00:00
parent 3fc91a641c
commit d2de70f2d9
8 changed files with 30 additions and 15 deletions

View file

@ -296,7 +296,7 @@ public class Mouse {
created = false;
buttons = null;
coord_buffer = null;
implementation.destroyMouse();
}