adding filtering

KarchinLab · Jul 26, 2024 · 5ff4edb · 5ff4edb
1 parent 0ca1fa1
commit 5ff4edb
Show file tree

Hide file tree

Showing 16 changed files with 5,702 additions and 1 deletion.
diff --git a/filtering.html b/filtering.html
diff --git a/filtering.qmd b/filtering.qmd
@@ -54,7 +54,9 @@ These filters can also be combined using **OR** logic, which is more permissive
 
 # Exporting Filters
 
-Filters can be exported and saved as JSON files for further reuse. 
+Filters can be exported and saved as JSON files for further reuse. They can be applied to a new set of variants in the GUI, or can be applied to result SQLite files on the command line. 
+
+# Applying filters in the GUI
 
 
 # Applying filters on the command line

diff --git a/filtering_files/libs/bootstrap/bootstrap-icons.css b/filtering_files/libs/bootstrap/bootstrap-icons.css
diff --git a/filtering_files/libs/bootstrap/bootstrap-icons.woff b/filtering_files/libs/bootstrap/bootstrap-icons.woff
diff --git a/filtering_files/libs/bootstrap/bootstrap.min.css b/filtering_files/libs/bootstrap/bootstrap.min.css
diff --git a/filtering_files/libs/bootstrap/bootstrap.min.js b/filtering_files/libs/bootstrap/bootstrap.min.js
diff --git a/filtering_files/libs/clipboard/clipboard.min.js b/filtering_files/libs/clipboard/clipboard.min.js