rnw → exit_undo_mode → Cannot read property 'exit_undo_mode' of undefined

[haraldschilly]

for an *.Rnw file … not really sure what's going on, though:

chrome: Mozilla/5.0 (Macintosh; Intel Mac OS X 10_14_4) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/84.0.4147.135 Safari/537.36

smc_git_rev: 7b4e415

Date: 2020-08-27 15:12:10.916165

Cannot read property 'exit_undo_mode' of undefined

TypeError: Cannot read property 'exit_undo_mode' of undefined
    at n.t.exit_undo_mode (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:107:23426)
    at eval (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:164:7601)
    at eval (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:22:198408)
    at eval (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:22:227642)
    at eval (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:22:227875)
    at Gr (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:22:227901)
    at HTMLTextAreaElement.eval (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:22:232035)
    at HTMLTextAreaElement.e._wrapper.e._wrapper (eval at <anonymous> (https://cocalc.com/app:1:7558), <anonymous>:417:1980)