If we change it, the modified (wrong) mode is saved in the notebook, which wrecks havoc on highlighting once the notebook is saved and reopened.
parent
d093237f2f
commit
c80709e5a3
Loading…
Reference in new issue