Robby has just pushed an evil hack that makes plots and pict3ds
interactive again.
In the future, there will be a transition to a different "interactive
values" API, but it'll go a lot smoother.
Neil ⊥
On 06/21/2015 12:34 PM, Neil Toronto wrote:
It's because of this:
https://groups.google.com/forum/#!topicsearchin/racket-dev/subject$3Asnip/racket-dev/Sqoeg1JX-wM
(If anyone knows of a nicer way to link to Google Groups posts, I'd love
to know what it is.)
Getting this (and Pict3D) working again on master is next on my to-do list.
Neil ⊥
On 06/16/2015 11:30 PM, Matthew Butterick wrote:
I've had the same issue with plot zooming not working from my git
build. I don't have a theory but it at least suggests the problem may
not be strictly localized.
On Jun 16, 2015, at 1:10 PM, 'John Clements' via users-redirect
<us...@plt-scheme.org> wrote:
I notice that currently, plot snips are not zoomable in my local
build. The release candidate doesn’t seem to have this problem. I
believe I’ve had this problem since before the release candidate was
built. This suggests to me that the problem is not that there’s a bug
in the code, but rather that my installation is messed up somehow.
I’m up to date on the git.racket-lang.org repo, and I just ran
‘make’, and I’m still seeing the problem.
I’m guessing that I could fix this by discarding my tree and building
again from scratch, but if my update procedure is wrong (git fetch
then ‘make’), I’ll keep having this problem again and again.
Any ideas?
Many thanks,
John
--
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.
