From 5b29479186be8d2ab06b24e2d539a568ac4e5ec6 Mon Sep 17 00:00:00 2001
From: xiangyu <3170102889@zju.edu.cn>
Date: Fri, 10 Jun 2022 16:45:56 +0800
Subject: [PATCH] add: batch export
---
addon/chrome/content/overlay.xul | 4 +-
addon/chrome/locale/en-US/overlay.dtd | 2 +
addon/chrome/locale/zh-CN/overlay.dtd | 2 +
src/events.ts | 56 ++++++++++++++++++-
src/knowledge.ts | 80 +++++++++++++++++++++++++++
5 files changed, 141 insertions(+), 3 deletions(-)
diff --git a/addon/chrome/content/overlay.xul b/addon/chrome/content/overlay.xul
index 4b4d561..f20f33a 100644
--- a/addon/chrome/content/overlay.xul
+++ b/addon/chrome/content/overlay.xul
@@ -43,7 +43,9 @@