You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
A quick glance at the racket/gui docs didn't get me too far, so: what would it take to make the view in list-view scrollable with the mouse (in addition to dragging the scrollbar)?
Is this a fundamental limitation of racket/gui that such things aren't supported automatically or even easily? Or is there a simple piece of plugin code that I can add as a mixin or even a PR here?
DrRacket's editor scrolls with the mouse, so I'm sure it must be possible. But if it's intrinsically difficult code, I can live without it.
The text was updated successfully, but these errors were encountered:
I've been planning to look into this for a bit, but haven't had time recently. The list-view uses racket/gui panels under the hood, and those don't support mouse scrolling. There's a way to get the scroll events, but I don't think there's a way to control the scroll position even if you're able to grab the events, so I think racket/gui itself needs to be updated to support this.
A quick glance at the racket/gui docs didn't get me too far, so: what would it take to make the view in
list-view
scrollable with the mouse (in addition to dragging the scrollbar)?Is this a fundamental limitation of racket/gui that such things aren't supported automatically or even easily? Or is there a simple piece of plugin code that I can add as a mixin or even a PR here?
DrRacket's editor scrolls with the mouse, so I'm sure it must be possible. But if it's intrinsically difficult code, I can live without it.
The text was updated successfully, but these errors were encountered: