workaround random crash. editor is not long-running program so widget leaking is fine