From 9c8fae4704ee620921e4c4d8d7d5cba032353f0a Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Sebastian=20K=C3=B6ln?= Date: Wed, 20 Mar 2019 15:36:40 +0100 Subject: [PATCH] fix forgotten rename --- src/theme/book.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/theme/book.js b/src/theme/book.js index 9d5cc032..b16c7886 100644 --- a/src/theme/book.js +++ b/src/theme/book.js @@ -332,7 +332,7 @@ function playpen_text(playpen) { stylesheets.highlight.disabled = true; ace_theme = "ace/theme/tomorrow_night"; - } else if (theme == 'classic') { + } else if (theme == 'book') { stylesheets.ayuHighlight.disabled = true; stylesheets.tomorrowNight.disabled = true; stylesheets.highlight.disabled = true;