From c6033abeb0c2bcd157862c01940646d8db30b1b7 Mon Sep 17 00:00:00 2001 From: cc-wr <47033353+cc-wr@users.noreply.github.com> Date: Sat, 24 Aug 2019 15:08:55 -0400 Subject: [PATCH] Fix some small, but blocking, issues --- WolframLanguageForJupyter/Resources/Initialization.wl | 8 +++++--- extras/custom.js | 2 +- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/WolframLanguageForJupyter/Resources/Initialization.wl b/WolframLanguageForJupyter/Resources/Initialization.wl index 17507fa..8865245 100644 --- a/WolframLanguageForJupyter/Resources/Initialization.wl +++ b/WolframLanguageForJupyter/Resources/Initialization.wl @@ -125,7 +125,8 @@ If[ ] ] & ) /@ - ( + (* only use lists with at least three items *) + Select[ (* parse the rows into their items (where each item is separated by two tabs) *) (StringSplit[#1, "\t\t"] &) /@ ( @@ -135,8 +136,9 @@ If[ "\n" (* drop the first row *) ][[2 ;;]] - ) - ); + ), + (Length[#1] >= 3) & + ]; (* parse the data into an association of names and the named characters they correspond to *) unicodeNamedCharactersReplacements = diff --git a/extras/custom.js b/extras/custom.js index c625eb2..4542106 100644 --- a/extras/custom.js +++ b/extras/custom.js @@ -28,7 +28,7 @@ function redirectEsc(event) { /* the vertical ellipsis character */ String.fromCharCode(8942) ); - event.preventDefault(); + event.stopImmediatePropagation(); } }