Seems history was actually working until I decided to put a pretty
"removing ###" message
Signed-off-by: Victor Seiji Hariki <victorseijih@gmail.com>
Former-commit-id: a40f1d6e0d53e7186aa2d85832906280331f4aad
Progress check now has a 1.5s timing window (we can update it to wait
for the last update before sending a new progress request in the future)
Fixed dream() call in img2img tool
Signed-off-by: Victor Seiji Hariki <victorseijih@gmail.com>
Former-commit-id: c137f13e5a71f0b62cc7094bd53f8a4e5f89fcb6
Also updates a lot of other things (brush size now independent from
scale factor, split some files, and a lot other things; removed erase
safeguard as now erase is supported by undo/redo; tried adding github
prettier autoformatting to pull requests;
may have some other things as well
Signed-off-by: Victor Seiji Hariki <victorseijih@gmail.com>
Former-commit-id: 0ba21f23c69f9dca2c3189a838b945900b01f81d
