Opened 14 years ago
Closed 14 years ago
#14 closed defect (fixed)
The points given by EventMotion and EventKey disagree
| Reported by: | Ben Lippmeier | Owned by: | |
|---|---|---|---|
| Priority: | high | Milestone: | 1.2.0.0 |
| Component: | Unknown | Version: | 1.1.1.0 |
| Keywords: | Cc: |
Description
Thomas DuBuisson? report:
The points given by EventMotion? and EventKey? disagree (using Xorg + XMonad, which forces the window dimensions). If they are actually points from different coordinate systems then preventing their mixing is a perfect use for the type system (along with conversion functions).
Attachments (1)
Change History (4)
comment:1 Changed 14 years ago by
Changed 14 years ago by
| Attachment: | convertMotionPointBasedOnWindowSize.patch added |
|---|
Fixed some typos in the old patch. This one actually builds.
comment:2 Changed 14 years ago by
| Priority: | normal → high |
|---|
comment:3 Changed 14 years ago by
| Resolution: | → fixed |
|---|---|
| Status: | new → closed |
Note: See
TracTickets for help on using
tickets.
If you look at Graphics/Gloss/Internals/Interface/Game?.hs you'll see the function "handle_keyMouse" has point conversions for each action. This conversion needs to be it's own function and used in the "handle_motion" callback as well. Patch attached.