Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-29 Thread Robby Findler
I guess you've probably already found the implementation, but just in case, it is here: https://github.com/racket/gui/blob/master/gui-lib/framework/private/inline-overview.rkt I think the thing you'd want to do is break out the code currently in the on-paint method (and things it needs) into a

Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-27 Thread Philip McGrath
I can't say how soon I'd get to doing it, but I would potentially be interested in submitting a pull request. I can see the benefits of the new setup as you explain them, and I probably need to live with it for a while longer to know what I prefer for editing Racket code, but the ability to render

Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-25 Thread Jordan Johnson
Thanks for the suggestions, guys. Glad to hear it’s a known-and-fixed bug. We’ll poke at it when we’re back in the lab tomorrow, and if we can’t resolve it I’ll follow up with another query here. Thanks again, jmj > On Jan 25, 2018, at 11:42, Robby Findler wrote: > > This double contour thing

Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-25 Thread 'John Clements' via Racket Users
> On Jan 25, 2018, at 12:17 PM, Philip McGrath wrote: > > I took the steps you described and I no longer get the doubled program > contour, but I do get results like the screenshot of my experiment with > text:inline-overview-mixin I sent > earlier (maybe that's what the contour is supposed

Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-25 Thread Robby Findler
On Thu, Jan 25, 2018 at 2:17 PM, Philip McGrath wrote: > I took the steps you described and I no longer get the doubled program > contour, but I do get results like the screenshot of my experiment with > text:inline-overview-mixin > I sent > earlier (maybe that's what the contour is supposed to

Re: [racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-25 Thread 'John Clements' via Racket Users
> On Jan 25, 2018, at 8:48 AM, Jordan Johnson wrote: > > Hi all, > > One of my students is observing some strange behavior involving the Program > Contour pane of DrRacket. He’s using v6.11 on OS X Yosemite 10.10.5. > > This is the top-right corner of his DrR window, with Program Contour ope

[racket-users] Strange window behavior in OSX Yosemite DrRacket

2018-01-25 Thread Jordan Johnson
Hi all, One of my students is observing some strange behavior involving the Program Contour pane of DrRacket. He’s using v6.11 on OS X Yosemite 10.10.5. This is the top-right corner of his DrR window, with Program Contour open: Upon pressing Cmd+U to hide it, this is what happens: Additional