From de89994d1b33ff3c1b8e998357fbdcac61147d81 Mon Sep 17 00:00:00 2001 From: Matthew Butterick Date: Mon, 20 Nov 2017 11:53:35 -0800 Subject: [PATCH] should've seen that coming --- pollen/mode.rkt | 4 +++- pollen/private/ts.rktd | 2 +- 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/pollen/mode.rkt b/pollen/mode.rkt index f899ac8..141109e 100644 --- a/pollen/mode.rkt +++ b/pollen/mode.rkt @@ -92,7 +92,9 @@ Intractable problem; unavoidable limitation. (case key [(color-lexer) (define lexer-maker (try-dynamic-require 'syntax-color/scribble-lexer 'make-scribble-lexer)) - (lexer-maker #:command-char #\◊)] + (if lexer-maker + (lexer-maker #:command-char #\◊) + (fallback))] [(drracket:indentation) (dynamic-require 'pollen/private/mode-indentation 'determine-spaces)] [else (fallback)])))))) diff --git a/pollen/private/ts.rktd b/pollen/private/ts.rktd index 008dacb..acae726 100644 --- a/pollen/private/ts.rktd +++ b/pollen/private/ts.rktd @@ -1 +1 @@ -1511201538 +1511207615