From 3d882914569937786f0ca81116330c3cc445a3f9 Mon Sep 17 00:00:00 2001
From: Sorawee Porncharoenwase <sorawee.pwase@gmail.com>
Date: Thu, 15 Nov 2018 01:58:06 -0800
Subject: [PATCH] Document Pygments options and regenerate Scribble files

Complete the documentation for Pygments.

The change to `scribble-common.js` is due to a new feature from a new version
of Scribble.
---
 pollen/scribblings/pygments.scrbl     |  6 +++++-
 pollen/scribblings/scribble-common.js | 10 ++++++++++
 2 files changed, 15 insertions(+), 1 deletion(-)

diff --git a/pollen/scribblings/pygments.scrbl b/pollen/scribblings/pygments.scrbl
index 6444b78..ac8b0ba 100644
--- a/pollen/scribblings/pygments.scrbl
+++ b/pollen/scribblings/pygments.scrbl
@@ -16,10 +16,14 @@ A simple interface to syntax highlighting using Pygments. @bold{You must already
 @defproc[
 (highlight
 [language symbol?]
+[#:python-executable python-executable path-string? "python"]
+[#:line-numbers? line-numbers? boolean? #t]
+[#:css-class css-class string? "source"]
+[#:lines lines (listof number?) '()]
 [lines-of-code string?] ...
 )
 txexpr?]
-Use Pygments to highlight the code in @racket[_lines-of-code] according to the semantics of @racket[_language]. Does not apply any visual styling, just the markup.
+Use Pygments to highlight the code in @racket[_lines-of-code] according to the semantics of @racket[_language]. Does not apply any visual styling, just the markup. The optional @racket[_python-executable] controls which Python Pollen should use (which will be useful when you install Pygments in a non-default version of Python). The optional @racket[_line-numbers?] controls whether or not the syntax highlight should include line numbers. The optional @racket[_css-class] controls the CSS class name for the syntax highlight. The optional @racket[_lines] will tag the specified lines of code with the CSS class @tt{hll}.
 
 Sample input:
 
diff --git a/pollen/scribblings/scribble-common.js b/pollen/scribblings/scribble-common.js
index 1ec7da5..976298e 100644
--- a/pollen/scribblings/scribble-common.js
+++ b/pollen/scribblings/scribble-common.js
@@ -168,3 +168,13 @@ AddOnLoad(function(){
     indicator.innerHTML = label;
     indicator.style.display = "block";
   });
+
+// Pressing "S" focuses on the "...search manuals..." text field
+AddOnLoad(function(){
+  window.addEventListener("keypress", function(event) {
+    if (event && event.charCode == 115 && event.target == document.body) {
+      var field = document.getElementsByClassName("searchbox")[0];
+      field.focus();
+    }
+  }, false);
+});
-- 
2.25.1