agama-project / agama / 27535892896

80%

master: 84%

push

github

Make the editor really read-only

When showing the JSON config the editor was not really read-only, although
the `isReadOnly` flag was set. It needs to be set in the editor options.

4725 of 6617 branches covered (71.41%)

Branch coverage included in aggregate %.

16360 of 19860 relevant lines covered (82.38%)

131.25 hits per line