[racket-users] How to use scribble to generate a html with searchbox?
How to add a searchbox at topleft corner in generated HTML? Racket’s self doc is include a searchbox, but I can’t find a way to add a searchbox on myself’s HTML. Anyone knows? thank you. -- 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.
Re: [racket-users] Re: Cloud not launch DrRacket
On Friday, May 13, 2016 at 10:54:04 AM UTC-4, Matthew Flatt wrote: > At Fri, 13 May 2016 07:35:28 -0700 (PDT), James Brown wrote: > > I want to build racket myself. Is there a guide for that? > > Building from source is unlikely to help with the GUI problem, because > the build process doesn't depend on the Gtk installation. Instead, Gtk > is found and linked at run time. > > > On the GUI problem: Does setting the PLT_GTK2 environment variable (to > anything) help? > > > To answer the build question: The source distribution has a > "README" in the "src" directory; it also has a "README" in the root > directory that points to "src/README". The Git repo has "INSTALL.txt", > and its "README.txt" similarly points to "INSTALL.txt". After re-installed gtk2, and set PLT_GTK2 environment variable, I can now launch drracket from the command line. Thanks! -- 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.
Re: [racket-users] Re: Cloud not launch DrRacket
The easiest would be to download source+built packages (because then only the "core" gets build) from the homepage. Then un"tar"/zip it and there should be a ./src directory. The ./src/README file explains very good how to build on different platforms. Daniel Am 13.05.2016 um 16:35 schrieb James Brown: > I want to build racket myself. Is there a guide for that? > -- 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.
Re: [racket-users] Re: Cloud not launch DrRacket
At Fri, 13 May 2016 07:35:28 -0700 (PDT), James Brown wrote: > I want to build racket myself. Is there a guide for that? Building from source is unlikely to help with the GUI problem, because the build process doesn't depend on the Gtk installation. Instead, Gtk is found and linked at run time. On the GUI problem: Does setting the PLT_GTK2 environment variable (to anything) help? To answer the build question: The source distribution has a "README" in the "src" directory; it also has a "README" in the root directory that points to "src/README". The Git repo has "INSTALL.txt", and its "README.txt" similarly points to "INSTALL.txt". -- 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.
[racket-users] Re: Cloud not launch DrRacket
I want to build racket myself. Is there a guide for that? -- 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.
[racket-users] Re: Cloud not launch DrRacket
On Thu, 12 May 2016 18:20:04 -0700 (PDT), James Brown wrote: >If click on the icon of DrRacket, nothing happens. If I type "drracket" in >Terminal, i get the following messages, then it stays like that. > >Version 6.5-1 You may have the wrong version of GTK, or you many need to set the environment variables properly so that racket can use it. Take a look at: https://docs.racket-lang.org/gui/libs.html?q=gtk https://wiki.archlinux.org/index.php/GTK%2B If everything is set up correctly for GTK, then there may be other system libraries that are incompatible. In that case you may have to build racket yourself. Fortunately that isn't difficult - it is just annoying to have to do it. George -- 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.