# Editor plugin show diff