- Fix unconventional '{' formatting
- Reformat `UndoManager` changes
- Revert change from `insertInLine` to `insert` in text.js
|
||
|---|---|---|
| .. | ||
| mirror.js | ||
| worker.js | ||
| worker_client.js | ||
| worker_test.js | ||
- Fix unconventional '{' formatting
- Reformat `UndoManager` changes
- Revert change from `insertInLine` to `insert` in text.js
|
||
|---|---|---|
| .. | ||
| mirror.js | ||
| worker.js | ||
| worker_client.js | ||
| worker_test.js | ||