Re: [racket-users] Redefine how Racket prints

2017-03-07 Thread Matthew Flatt
You can change `print` for a specific port with `port-print-handler`. There's also the `global-port-print-handler` parameter, but setting that changes `print` only for ports that uses the default printer. The blue-versus-purple distinction in DrRacket is built into the output port that DrRacket

Re: [racket-users] Question about how to number equations under scribble-math module

2017-03-07 Thread Hendrik Boom
On Tue, Mar 07, 2017 at 10:24:09AM -0800, E. Cómer wrote: > On Friday, March 3, 2017 at 9:00:49 AM UTC-8, Matthew Flatt wrote: > > > There's not currently a direct way to do what you want, as far as I > > know. There's a relevant library in `scriblib/private/counter`, which > > is used to

Re: [racket-users] Can raco distribute produce a single executable?

2017-03-07 Thread Ethan Estrada
On Sat, Feb 25, 2017 at 9:57 PM, lu wrote: > --enable-shared create shared libraries (ok, but not recommended) > --enable-dynlib same as --enable-shared I haven't personally compiled Racket before, but these seem to be the flags you are looking for. It

Re: [racket-users] Question about how to number equations under scribble-math module

2017-03-07 Thread E . Cómer
On Friday, March 3, 2017 at 9:00:49 AM UTC-8, Matthew Flatt wrote: > There's not currently a direct way to do what you want, as far as I > know. There's a relevant library in `scriblib/private/counter`, which > is used to implement the counters for `scriblib/footnote` and > `scriblib/figure`. As