Non-editable cells can be split and merged

[raffaele-cappelli]

Description

Cells with "editable": false can be split and merged with other cells.

Reproduce

In a new notebook, edit metadata adding

"editable": false

the cell cannot be edited, but it is possible to split it and merge it with other cells.

Expected behavior

It should not be possible to split and merge non-editable cells, as in jupyter notebook.

Context

Reproduced in a clean env (conda create -n jlab-test --override-channels --strict-channel-priority -c conda-forge -c nodefaults jupyterlab)

JupyterLab Version 3.1.13
Google Chrome | 93.0.4577.82
Windows 10 OS Version 2009
JavaScript | V8 9.3.345.19

I was NOT able to reproduce the problem in Jupyter notebook.

[krassowski]

I can reproduce this one.