//try {
statusicon.set_tooltip_text("pull: " + repo.name);
var str = "";
- repo.pull_async.begin((obj, syncres) => {
+ repo.pull_async((string res) => {
- var res = fetch_webpage.end(syncres);
total--;`
- if (!Regex.match_simple ("Already up-to-date", str) ) {
+ if (!Regex.match_simple ("Already up-to-date", res) ) {
str += str.length > 0 ? "\n" : "";