From 97695d9370c0eea5545fd01299de93adc881a797 Mon Sep 17 00:00:00 2001 From: lagleki Date: Thu, 4 Jan 2024 09:23:30 +0100 Subject: [PATCH] =?UTF-8?q?feat:=20=F0=9F=8E=B8=20improve=20compact=20rule?= =?UTF-8?q?s?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- src/options.js | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/src/options.js b/src/options.js index 39490ff..0d691a0 100755 --- a/src/options.js +++ b/src/options.js @@ -170,9 +170,10 @@ export const optionsDefault = { "UI7", "PEI", "GEhE", + "lujvo" ].concat(selmaho), pictureRules: ["BRIVLA", "indicator", "KOhA", "GOhA"], - hyperedgeRules: ["spaces", "gismu", "fuhivla", "CMEVLA", "brivla"], + hyperedgeRules: ["spaces", "lujvo", "gismu", "fuhivla", "CMEVLA"], nodesToDelete: [ "_pre$", "^initial_spaces$",