From 28e6086d9e586669ab04e4b5ba11056de7e70d8e Mon Sep 17 00:00:00 2001 From: cesare Date: Tue, 26 Apr 2022 11:31:57 +0200 Subject: [PATCH] working on syntactic filters: in progress --- index_work.html | 40 ++++++++++++++++++++++++++-------------- js/guimanager.js | 32 +++++++++++++++++++++++++++++--- 2 files changed, 55 insertions(+), 17 deletions(-) diff --git a/index_work.html b/index_work.html index a067026..0045523 100644 --- a/index_work.html +++ b/index_work.html @@ -252,16 +252,6 @@ - - - @@ -351,9 +341,26 @@