> Is that the same syntax highlighter that github uses for their gists? No, Github uses Pygments for their syntax highlighting. And though there exists a Rust highlighter in Pygments, it's a newer version of Pygments that Github's Ruby-based Pygments wrapper doesn't yet support.
Though note that Marijn's CodeMirror plugin is 100% Javascript, and is in fact designed to be embedded in web pages. It's quite a lovely client-side code editor. On Fri, Feb 1, 2013 at 5:13 PM, pablo fernandez <fernandezpabl...@gmail.com>wrote: > Is that the same syntax highlighter that github uses for their gists? > > Pablo > > > On Fri, Feb 1, 2013 at 7:02 PM, Marijn Haverbeke <mari...@gmail.com>wrote: > >> See also http://codemirror.net/mode/rust/ . Unfortunately, the syntax >> has changed massively since I wrote that highlighting mode. On the >> bright side, I believe the syntax became somewhat more regular, so >> (though I'm not sure about this) a lot of the complexity in the >> highlighter (and believe me, it is complex) might no longer be needed. >> >> Best, >> Marijn >> >> On Fri, Feb 1, 2013 at 10:51 PM, Dean Thompson >> <deansherthomp...@gmail.com> wrote: >> > Rust Dev, >> > >> > Pablo Fernandez and I are planning to build a simple "Rust playground" >> -- a >> > site where people can try running small Rust programs and then record >> > examples of working or broken Rust code. We wrote down our current >> strawman >> > approach at https://github.com/rusthub/rustpad . We would greatly value >> > feedback from this group before we begin. >> > >> > Dean >> > >> > _______________________________________________ >> > Rust-dev mailing list >> > Rust-dev@mozilla.org >> > https://mail.mozilla.org/listinfo/rust-dev >> > >> > > > _______________________________________________ > Rust-dev mailing list > Rust-dev@mozilla.org > https://mail.mozilla.org/listinfo/rust-dev > >
_______________________________________________ Rust-dev mailing list Rust-dev@mozilla.org https://mail.mozilla.org/listinfo/rust-dev
