Issue #36: now saves and restores widget values when app quits