From 81d66b7f8ca46efa6a81a8013c870d06370857fd Mon Sep 17 00:00:00 2001 From: xiangyu <3170102889@zju.edu.cn> Date: Sun, 1 May 2022 00:41:53 +0800 Subject: [PATCH] add: workspace main title & buttons --- addon/chrome/content/overlay.xul | 4 ++ addon/chrome/content/workspace.xul | 4 +- src/events.ts | 91 +++++++++++++++++++++++------- src/knowledge.ts | 30 +++++++--- src/views.ts | 27 +++++++-- 5 files changed, 122 insertions(+), 34 deletions(-) diff --git a/addon/chrome/content/overlay.xul b/addon/chrome/content/overlay.xul index ae1c9cc..46e4d5b 100644 --- a/addon/chrome/content/overlay.xul +++ b/addon/chrome/content/overlay.xul @@ -4,4 +4,8 @@