fix #10, del heading hideDecoration when cursor in line

Sean10 · Oct 29, 2021 · 0def568 · 0def568
1 parent 4454335
commit 0def568
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/src/extension.js b/src/extension.js
@@ -153,8 +153,24 @@ function bootstrap(context) {
 				} else {
 					endSymbolNeedDecoration = start;
 				}
+				function delDecoration(decoration, currentLine) {
+					let decList = state.decorationRanges.get(decoration);
+					for (let i=0; i < decList.length; i++) {
+						if (currentLine == decList[i].start.line) {
+							decList.splice(i, 1);
+							break;
+						}
+					}
+				}
+
 				addDecoration(getEnlargeDecoration(state.fontSize + Math.ceil(state.fontSize) / 6 * (7 - node.depth)), endSymbolNeedDecoration, end);
 				addDecoration(hideDecoration, start, endSymbolNeedDecoration);
+				// console.log("offset: ",  state.offset, "start: ", start , " end: ", end);
+
+				if (node.position.start.line - 1 == editor.selection.active.line) {
+					delDecoration(hideDecoration, editor.selection.active.line);
+					delDecoration(getEnlargeDecoration, editor.selection.active.line);
+				}
 			};
 		})()]],
 		["horizontalRule", ["thematicBreak", (() => {