Hongbo Wu 17edc482f6 update debounce timeout to be 2 seconds		2022-03-18 14:06:58 +08:00
..
elements	Header button fixes	2022-03-09 10:00:03 -08:00
patterns	Display the correct site name for PDF saved URLs	2022-03-12 17:34:37 -08:00
templates	update debounce timeout to be 2 seconds	2022-03-18 14:06:58 +08:00
tokens	Improve the styling of URLs in highlighted text	2022-02-23 13:22:30 -08:00