From ba6ad6818c3861961be8a3da60dede32c3e098e5 Mon Sep 17 00:00:00 2001 From: xiangyu <3170102889@zju.edu.cn> Date: Sun, 1 May 2022 09:13:49 +0800 Subject: [PATCH] fix: enter workspace event bug --- addon/chrome/content/overlay.xul | 2 +- addon/chrome/locale/en-US/overlay.dtd | 1 + addon/chrome/locale/zh-CN/overlay.dtd | 1 + src/events.ts | 77 +++++++++------------------ src/knowledge.ts | 21 ++++---- 5 files changed, 41 insertions(+), 61 deletions(-) diff --git a/addon/chrome/content/overlay.xul b/addon/chrome/content/overlay.xul index 46e4d5b..0aaceeb 100644 --- a/addon/chrome/content/overlay.xul +++ b/addon/chrome/content/overlay.xul @@ -6,6 +6,6 @@