Enable key popovers on demand

Fixes: #4
This commit is contained in:
Johannes Marbach 2021-10-01 21:08:10 +02:00
parent b8320ca5ba
commit 7790becf7c
4 changed files with 59 additions and 59 deletions

@ -1 +1 @@
Subproject commit 33e4660f973fdf338355599e9b1053791df742ab
Subproject commit 90eebad7e11fe5e90f9fe6b4e492561e849f4ac3