From a2676ccc55ab8ebc4b673d1cd888ddaf8874dc71 Mon Sep 17 00:00:00 2001 From: sharkdp Date: Thu, 4 Oct 2018 10:16:53 +0200 Subject: [PATCH] Workaround for #81 --- assets/JavaDoc.sublime-syntax.patch | 13 +++++++++++++ assets/create.sh | 8 ++++++++ 2 files changed, 21 insertions(+) create mode 100644 assets/JavaDoc.sublime-syntax.patch diff --git a/assets/JavaDoc.sublime-syntax.patch b/assets/JavaDoc.sublime-syntax.patch new file mode 100644 index 00000000..731a75a7 --- /dev/null +++ b/assets/JavaDoc.sublime-syntax.patch @@ -0,0 +1,13 @@ +diff --git syntaxes/Packages/Java/JavaDoc.sublime-syntax syntaxes/Packages/Java/JavaDoc.sublime-syntax +index 422a6a9..40a741e 100644 +--- syntaxes/Packages/Java/JavaDoc.sublime-syntax ++++ syntaxes/Packages/Java/JavaDoc.sublime-syntax +@@ -13,7 +13,7 @@ variables: + contexts: + prototype: + # https://docs.oracle.com/javase/7/docs/technotes/tools/windows/javadoc.html#leadingasterisks +- - match: ^\s*(\*)\s*(?!\s*@) ++ - match: ^\s*(\*)(?!/)\s*(?!\s*@) + captures: + 1: punctuation.definition.comment.javadoc + diff --git a/assets/create.sh b/assets/create.sh index 60b70b32..aaa72769 100644 --- a/assets/create.sh +++ b/assets/create.sh @@ -2,4 +2,12 @@ ASSET_DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" && pwd )" +# TODO: Remove this (and the reverse part below) when +# https://github.com/trishume/syntect/issues/160 has been fixed +JAVADOC_FILE="${ASSET_DIR}/syntaxes/Packages/Java/JavaDoc.sublime-syntax" +JAVADOC_PATCH="${ASSET_DIR}/JavaDoc.sublime-syntax.patch" +patch "$JAVADOC_FILE" "$JAVADOC_PATCH" + bat cache --init --blank --source="$ASSET_DIR" --target="$ASSET_DIR" + +patch -R "$JAVADOC_FILE" "$JAVADOC_PATCH"