What does a read-only editor even mean?

Release 0.16.0 is out.

2 Likes