From bf31acf2b53cf0f2543c191d6782174593bbeee2 Mon Sep 17 00:00:00 2001
From: "Alex A. Naanou" <alex.nanou@gmail.com>
Date: Fri, 20 Oct 2023 19:07:57 +0300
Subject: [PATCH] tweaking...

Signed-off-by: Alex A. Naanou <alex.nanou@gmail.com>
---
 experiments/outline-editor/editor.js | 22 +++++++++++++---------
 1 file changed, 13 insertions(+), 9 deletions(-)

diff --git a/experiments/outline-editor/editor.js b/experiments/outline-editor/editor.js
index 031d4b8..b8a2495 100755
--- a/experiments/outline-editor/editor.js
+++ b/experiments/outline-editor/editor.js
@@ -556,20 +556,24 @@ var symbols = {
 			'/!\\': '⚠', 
 	},
 	get symbols_pattern(){
-		return new RegExp(`(?<!\\\\)(${ 
-			Object.keys(this.symbols)
-				.join('|') 
-					.replace(/([\(\)\\\/])/g, '\\$1')
-		})`, 'g') },
+		return (this.symbols != null 
+				&& Object.keys(this.symbols).length > 0) ?
+			new RegExp(`(?<!\\\\)(${ 
+				Object.keys(this.symbols)
+					.join('|') 
+						.replace(/([\(\)\\\/])/g, '\\$1') })`, 'g') 
+			: undefined },
 
 	__parse__: function(text, editor, elem){
 		var that = this
-		return text
-			//* XXX
-			.replace(this.symbols_pattern, 
+		var p = this.symbols_pattern
+		text = p ?
+			text.replace(p,
 				function(m){
 					return that.symbols[m] })
-			/*/
+			: text
+		return text
+			/* XXX
 			.replace(/(?<!\\)>>/gm, '»') 
 			.replace(/(?<!\\)<</gm, '«') 
 			.replace(/(?<![\\<])->/gm, '→')