widgets: make sure efd is initialized before any jumps

Fixes #83