[fix/shortcut-save-file]#624

Merged

hosy merged 2 commits intorelease/1.3.1from fix/shortcut-save-file

Feb 26, 2020

+126-46

Commits on Feb 21, 2020

#622 if a file already exists, the given file could not be saved
hosy
committed

Commits on Feb 25, 2020

added parameter to SaveIntent to decide if file could be overwritten or not, if already exists
hosy
committed