jack widget: Call set_editor_focus() after editing