Start with code that produces at least 3 errors, like this:
#lang typed/racket
(module a racket
(define-struct demo (a b) #:transparent)
(provide (struct-out demo)))
(module bad typed/racket
(require/typed/provide (submod ".." a)
[#:struct demo ([a : Integer] [b : Integer]) #:type-name Demo]))
(require 'bad)
(define x : Demo (demo 20 30))
(define y : Demo (demo 20 30))
(define z : Demo (demo 20 30))
At the bottom of the window, see "Type Checker: Summary: 3 errors encountered" and click the right arrow by "Jump to Error" repeatedly. Notice how the highlighted error circle first goes forward then backward(!) in the document. (It "bounces off" the bottom and starts going the other way.)
There is also a click at the bottom of the document where the circle does not move (before it changes direction).
Expected: scroll top to bottom with right arrow. Either stop at the bottom or wrap to the top and go down again.
DrRacket 7.2 on Mac OS X 10.12.6
Start with code that produces at least 3 errors, like this:
At the bottom of the window, see "Type Checker: Summary: 3 errors encountered" and click the right arrow by "Jump to Error" repeatedly. Notice how the highlighted error circle first goes forward then backward(!) in the document. (It "bounces off" the bottom and starts going the other way.)
There is also a click at the bottom of the document where the circle does not move (before it changes direction).
Expected: scroll top to bottom with right arrow. Either stop at the bottom or wrap to the top and go down again.