Antedit 2.0.1: bug fix & imporvement

This commit is contained in:
DanyLE
2022-07-04 19:58:51 +02:00
parent 5f0588ee27
commit 6c678b53d9
11 changed files with 34 additions and 2350 deletions

View File

@ -22,13 +22,11 @@ var OS;
});
graph.on_open_diff = (files) => {
console.log(files);
OS.PM.processes.Antedit[0].openDiff(files);
/*
//(OS.PM.processes.Antedit[0] as any).openDiff(files)
this._gui.launch("Antedit", [])
.then((p) =>{
p.observable.one("rendered",() =>(p as any).openDiff(files));
});
*/
.then((p) => {
p.observable.one("launched", () => p.openDiff(files));
});
};
graph.base_dir = "home://workspace/antos/".asFileHandle();
}