{
var tr = GitRepo.list();
-
+ GitMonitor.gitmonitor.stop();
+
var total = tr.length;
//try {
statusicon.set_tooltip_text("pull: " + repo.name);
var str = "";
- repo.pull_async((out result) {
- total--;`
- if (!Regex.match_simple ("Already up-to-date", str) ) {
+ repo.pull_async((res) => {
+
+ total--;
+ if (!Regex.match_simple ("Already up-to-date", res) ) {
str += str.length > 0 ? "\n" : "";
// }
}
- statusicon.set_tooltip_text("Gitlive");
+