demo: convert EditorView to use Program instead of DemoModel.