racket-gui-easy icon indicating copy to clipboard operation
racket-gui-easy copied to clipboard

Scrolling list-views with the mouse

Open benknoble opened this issue 3 years ago • 2 comments
trafficstars

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.

benknoble avatar Apr 28 '22 12:04 benknoble

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.

Bogdanp avatar Apr 28 '22 17:04 Bogdanp

Asked about this on Discourse to see if the core team or a racket/gui expert would weigh in: https://racket.discourse.group/t/scrolling-racket-gui-panels-with-the-mouse/957

benknoble avatar May 02 '22 21:05 benknoble