Migrate to Halogen#215

Merged

thomashoneyman merged 5 commits intomasterfrom

halogen-migration

Apr 28, 2021

Commits on Mar 28, 2021

Migrate to Halogen
thomashoneyman
committed

Commits on Mar 30, 2021

Commits on Mar 31, 2021

Fix iframe teardown and misc. small tweaks
thomashoneyman
committed

Commits on Apr 28, 2021

Write a simpler debouncer
thomashoneyman
committed