A fix to the build and the jump-to-definition feature. Fixes #544, fixes #633

Should I just pass the App instance all the way through the EditorFactory to the EditorArea?