Updates to editor, deal with bug in pretty-print paths