Ensure that the empty dictionary won't be accidentally modified, and slightly improve the "SaveDocument" handler in `src/core/worker.js`#12375

Merged

timvandermeij merged 2 commits intomozilla:masterfrom

Snuffleupagus:emptyDict-set

Sep 15, 2020

Commits on Sep 15, 2020

Ensure that the empty dictionary won't be accidentally modified
Snuffleupagus
committed
A couple of small improvements in the "SaveDocument" handler in `src/core/worker.js`
Snuffleupagus
committed