Portable editors (7/30)

Portable editors