[slime-devel] Editing methods