Thanks for the report about the "Remove" button in the "Available for
Catalog" panel! I've pushed a repair for the next version.
Meanwhile, the "Currently Installed" panel provides another view on
installed packages, and the "Remove" button there should work.
I think Jay is working on the "mix" problem in Pict3D, which happens
with some graphics cards and not with others.
At Sun, 20 Dec 2015 12:20:05 -0800 (PST), Greg Trzeciak wrote:
> Having problems in identifying right pict3d github repository to raise the
> issue (due to some maintenance mentioned in Racket Developers) let me raise
> it
> here first.
>
> I have first installed pict3d about 10 hours ago - no issues during
> installation so I attempted simple code
>
> #lang racket
> (require pict3d)
> (sphere origin 1/2)
>
> This raised some GL error (about conflicting mix functions if I remember
> correctly )
> Few hours later I updated the package - during update my DrRacket crashed (it
> happened before while updating some other package) but the package seems to
> be
> installed fine, and tried the same code again. Now DrRacket crashes every
> time
> I run this code ("Racket GUI application stopped working").
>
> Additionally using DrRacket's Package Manager I can't remove the package -
> Clicking "Remove" prints the following in Output:
> application: procedure does not expect an argument with given keyword
> procedure: pkg-remove
> given keyword: #:scope
> arguments...:
> "pict3d"
> #:scope 'user
>
> Thanks
>
> PS. I am running DrRacket on Windows 10
>
> --
> You received this message because you are subscribed to the Google Groups
> "Racket Users" group.
> To unsubscribe from this group and stop receiving emails from it, send an
> email to racket-users+unsubscr...@googlegroups.com.
> For more options, visit https://groups.google.com/d/optout.
--
You received this message because you are subscribed to the Google Groups
"Racket Users" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to racket-users+unsubscr...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.
