From b77b829cb3905ed9012c52594c5f97a37de81683 Mon Sep 17 00:00:00 2001 From: Zach Baylin Date: Tue, 9 Jun 2020 05:23:09 +0200 Subject: [PATCH] fix(markdown): Fix wrong font families in code blocks (#906) * Fix wrong font families in code blocks * Add default to rei * format, Co-authored-by: Github Runner --- src/UI_Components/Markdown.re | 4 ++-- src/UI_Components/Markdown.rei | 2 ++ 2 files changed, 4 insertions(+), 2 deletions(-) diff --git a/src/UI_Components/Markdown.re b/src/UI_Components/Markdown.re index 20c6c1a4f..668023023 100644 --- a/src/UI_Components/Markdown.re +++ b/src/UI_Components/Markdown.re @@ -211,7 +211,7 @@ let generateText = (text, styles, attrs, dispatch, state) => { list(list(highlight)); + let default: t; + let makeHighlight: ( ~byteIndex: int,