Merge branch 'master' into copy-paste

2021-04-14 12:05:52 +02:00
parent a1053f7820 0a2d2aa684
commit 40980edffe
10 changed files with 102 additions and 84 deletions
@@ -447,7 +447,7 @@ impl Buffer {
        if let Some(file) = &self.file {
            let snapshot = self.snapshot();
            let version = self.version.clone();
-            let save_task = file.save(snapshot, ctx.app());
+            let save_task = file.save(snapshot, ctx.as_ref());
            let task = ctx.spawn(save_task, |me, save_result, ctx| {
                if save_result.is_ok() {
                    me.did_save(version, ctx);