- From: Google <sysbot+gh@w3.org>
- Date: Thu, 04 Apr 2019 17:22:03 +0000
- To: public-webscreens@w3.org
The following commits were just pushed by mfoltzgoogle to https://github.com/webscreens/openscreenprotocol: * Add support for CDDL highlighting This patch adds support for highlighting CDDL snippets using a custom Pygments lexer called CddlLexer. All *.cddl files in the openscreenprotocol will automatically be compiled to HTML by the pygmentize_dir script (now ran as part of make index.html), and then can be included from the index.bs file using the "<pre class=include>" declaration. A new code-style.html file is also included, which results in the code being highlighted similar to GitHub's standards. by Jordan Bayles https://github.com/webscreens/openscreenprotocol/commit/fae176ef7531a737d547803f378e4468e10eea8f * Apply code review feedback by Jordan Bayles https://github.com/webscreens/openscreenprotocol/commit/6c4ad3f7d5599f8cd1bb6e400e6bbef6a23a702f * Merge branch 'cddl-highlight' of https://github.com/baylesj/openscreenprotocol into baylesj-cddl-highlight by mark a. foltz https://github.com/webscreens/openscreenprotocol/commit/7451ff1dbf0f9af40774f395c22a573551286282 * Merge branch 'baylesj-cddl-highlight' into gh-pages by mark a. foltz https://github.com/webscreens/openscreenprotocol/commit/27d7d6e5bce6edc01289d5625b0ea54da0f93b0a
Received on Thursday, 4 April 2019 17:22:04 UTC