Read-only editors

Implements #16.