Need some raco pkg management help. CONTEXT: At Matthias’s suggestion, I tried running raco pkg update --catalog <https://pkgs.racket-lang.org> htdp-lib to get the fixes @jbclements was working on for the stepper and the rendering of check-expects. The installation ran, but I got several warnings saying /usr/share/racket/pkgs/htdp-lib/lang/private/provide-and-scribble.rkt:132:53: except-in: identifier `posn' not included in nested require spec at: (submod lang/private/intermediate-funs) in: (except-in (submod lang/private/intermediate-funs) + * / append string-append string=? string<? string>? string<=? string>=? string-ci=? string-ci<? string-ci>? string-ci<=? string-ci>=? andmap apply argmax argmin build-list build-string compose filter ... at various points during the installation. Now, I can’t build a scribble website because it’s crapping out at the same spot. I’ve tried sudo apt-get purge racket / sudo apt-get install racket to remove and reinstall racket, but it still fails. When I look in the Package Manager from within DrR, on the Currently Installed tab I see htdp-lib with a Scope of “installation”, a checksum of 09849….626, and a Source of “Catalog: htdp-lib”. On the Available from Catalog tab, I see two htdp-lib packages, one with a Source of https://download.racket-lang.org/reeases/8.2/pkgs/htdp-lib.zip, and one with a Source of <git://github.com/racket/htdp/?path=htdp-lib>. Neither of them has the same 09849… checksum as above. QUESTION: How do I fully undo the raco pkg update command above, and get back to a working version of htdp-lib?

raco pkg update --catalog <https://downloads.racket-lang.org/release/8.2/catalog> htdp-lib

I got that too, but thought it was because I’m on 8.0.

I’ve spotted a problem in 8.1 now on two Windows 10, maybe 11, machines with DrRacket: somehow, the DrRacket window gets stuck completely off screen, and won’t come back. Restarting, restarting DrRacket, uninstalling/reinstalling doesn’t make it come back. The only fix seems to be deleting the preferences file. I haven’t gotten a copy of the file to analyze. Anyone seen anything like this?

Does the link in the issue help? I can’t test it myself https://github.com/racket/racket/issues/3774

what exactly do you mean by off screen?

Well DrRacket is definitely open. I can see it in the little window preview when you hover over the icon in the task bar, and when you do whatever you do to show all the open windows. But… when I click it, doesn’t appear on the screen. As if it was on a second display, but there is no second display.

That github issue does look the same…

Don’t know why deleting preferences would solve it though.

I think racket/gui memorizes window positions in the preference file

We did have students who encountered the same issue on Racket v7.9. I don’t understand why the window got into that state in the first place though. Could be some Windows sleeping/window minimizing issue.

Yeah, the link from that github issues suggests it’s a window bug. can we workaround it in Racket?

A possible solution to the problem would be to tight click the task bar icon and choose maximize. Then close dr racket while maximized.