Re: [racket-users] colorizing code in html - scribble or the GUI?

2016-03-15 Thread Stephen Chang
You can also submit the code to pasterack.org, which uses the scribble css. Each paste page also gives the html source of the code and output on the side, which you can copy to anywhere you want. On Tue, Mar 15, 2016 at 7:11 PM, Sanjeev Sharma wrote: > is there a quick & dirty way to use scribble

Re: [racket-users] Re: custom keybindings (AltGr)

2016-03-15 Thread Matthew Flatt
Thanks for looking into this problem in depth! Although I'll suggest an alternate implementation, your patch was helpful for me to understand the problems and goals. To generate an event when AltGr- doesn't produce a character, I think a better approach here is to call ToUnicode(). That seems to w

Re: [racket-users] colorizing code in html - scribble or the GUI?

2016-03-15 Thread Matthew Butterick
On Mar 15, 2016, at 4:11 PM, Sanjeev Sharma wrote: > is there a quick & dirty way to use scribble or the drracket GUI to generate > html for random code snippets? If you have Pygments installed, `pollen/unstable/pygments` and `pollen/template/html` can be used together to colorize code snipp

[racket-users] colorizing code in html - scribble or the GUI?

2016-03-15 Thread Sanjeev Sharma
is there a quick & dirty way to use scribble or the drracket GUI to generate html for random code snippets? -- 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 rack