リビジョン | 105 (tree) |
---|---|
日時 | 2020-01-31 12:22:28 |
作者 | ![]() |
* flexmark-ext-highlight 0.2.7
flexmark 0.50.50 に変更して「クリップボードへコピー」ボタンが表示されなくなってしまったバグを修正しました。
flexmarkの仕様ころころと変わり過ぎです!
@@ -75,7 +75,15 @@ | ||
75 | 75 | |
76 | 76 | html.line(); |
77 | 77 | |
78 | - BasedSequence attributes = node.getAttributes(); | |
78 | + BasedSequence attributes = node.getAttributes(); | |
79 | + BasedSequence info = node.getInfo(); | |
80 | + if(info.isNotNull() && !info.isBlank()) { | |
81 | + Matcher matcher = ATTRIBUTES_TAG.matcher(info); | |
82 | + if(matcher.find()) { | |
83 | + attributes = info.subSequence(matcher.start()).trim(); | |
84 | + info = info.subSequence(0, matcher.start()).trim(); | |
85 | + } | |
86 | + } | |
79 | 87 | if(attributes.isNotNull() && !attributes.isBlank()) { |
80 | 88 | Matcher matcher = ATTRIBUTES_TAG.matcher(attributes); |
81 | 89 | if (matcher.find()) { |
@@ -109,7 +117,6 @@ | ||
109 | 117 | } |
110 | 118 | } |
111 | 119 | |
112 | - BasedSequence info = node.getInfo(); | |
113 | 120 | if (info.isNotNull() && !info.isBlank()) { |
114 | 121 | int space = info.indexOfAny(" "); |
115 | 122 | if (space == -1) { |