suzanne.soy/gui
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

fix copy-on-scroll for non-integer scroll offset

Browse Source
This commit is contained in:
Matthew Flatt 2015-12-02 20:50:21 -07:00
parent be9cd36922
commit d3f212b98c
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
gui-lib/mred/private/wxme/editor-canvas.rkt
View File

@ -990,12 +990,14 @@
(get-canvas-background)
(= x old-x)) ; could handle horizontal scrolling in the future
(let-boxes ([fx 0]
[old-fy 0]
[new-fy 0])
[old-fy* 0]
[new-fy* 0])
(let ([x (min x scroll-width)]
[y (min y scroll-height)])
(convert-scroll-to-location x y fx new-fy)
(convert-scroll-to-location old-x old-y #f old-fy))
(convert-scroll-to-location x y fx new-fy*)
(convert-scroll-to-location old-x old-y #f old-fy*))
(define new-fy (floor new-fy*))
(define old-fy (floor old-fy*))
(let-boxes ([vx 0][vy 0][vw 0][vh 0])
(get-view vx vy vw vh) ; editor coords
(cond